The github web interface allows two types of positive pull request resolution: by merging the code or by rebasing it.
I think it would be a nice addition to the bot.
(Indeed the web interface allows the third, by squashing, but I believe this one is not interesting since it destroys the history).
The github web interface allows two types of positive pull request resolution: by merging the code or by rebasing it. I think it would be a nice addition to the bot.
(Indeed the web interface allows the third, by squashing, but I believe this one is not interesting since it destroys the history).