Fixed problems with GitHub pull requests plugin