bot
bot copied to clipboard
Merge a pull request with squash option
@jimaek want the bot to do a squash merge commit when doing auto merging of pull requests?
https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button