Only use fastmerge for merging?
Closed this issue · 4 comments
MoOx commented
fastmerge: script to easily merge a PR like this
fastmerge -r origin {PR URL}
https://github.com/vitorgalvao/tiny-scripts/blob/master/fastmerge
Result: #633 (comment)
MoOx commented
Pro: this avoid merge commit
Con: NO BUTTON
Nyalab commented
sorry but i really don't see the point, we don't care about a commit in the history, on the contrary, we have the link to the PR within
MoOx commented
Nyalab commented
only you can make me laugh this often a day 😄