major bugfix in pullrequest.py