chiark / gitweb /
Make 'push --undo' safer