Fix the patch name checking in push.py
[stgit] / examples /
drwxr-xr-x   ..
-rw-r--r-- 337 firstmail.tmpl
-rw-r--r-- 55 patchdescr.tmpl
-rw-r--r-- 35 patchexport.tmpl
-rw-r--r-- 325 patchmail.tmpl