Fix the patch name checking in push.py
[stgit] / stg
2005-07-10 Catalin MarinasInitial commit (Release 0.4) v0.4