git-pull-request: use python2 again (python3 is unmaintained)