push: output current patch name, not cmd-line argument