Make 'push --undo' safer
[stgit] / debian / docs
1 README
2 TODO