Merge PRs on GitHub
Just like on GitLab, flag a PR to be merged as soon as the tests pass. @gitmate push [to [master]]
or @gitmate-bot merge [to [branch]]
, or maybe ffmerge
to make it more clear that it isnt the default type of merge.
This is effectively the remaining part of https://github.com/coala/meta/issues/93 , which I am closing now.
Edited by John Vandenberg