Fix the patch name checking in push.py

[stgit] / INSTALL

For basic installation:

        python setup.py install

For more information:

        http://docs.python.org/inst/inst.html