settings for github pull request builder