Improved GitHub pull requests plugin