chiark / gitweb /
Fix push --undo to remove the local changes