This is intended behaviour, the edit history includes the reload, so if history is kept the reload can be undone, so there is no loss of information.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.