[gcr]

How about git rebasing or force push in general, which rewrites history for both git and mercurial users?

(This is hard to handle for normal git users as well, but it can be nice in some edge cases)