You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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 text was updated successfully, but these errors were encountered:
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 text was updated successfully, but these errors were encountered: