[chatman]

If losing this output is such a problem and force pushing is so rare, then Github could email this output with the two hashes to every developer on every force push.

[swift]

This seems like a good idea. (With a setting to turn it off, of course.)

Ideally git itself should record this information somewhere, though.