`ghprb` is just the ID of the jenkins plugin. Let's spell out `Github Pull Request Builder` when we use in comments and documentation.