Fix the patch name checking in push.py
[stgit] / stgit / commands / rename.py
2005-07-26 Catalin MarinasAdd a patch renaming command