Fix the patch name checking in push.py