@linuxmaniac I think that can be done from the "Merge pull request" button here -- it has the right arrow down that gives more options one of them is "Squash and merge" -- never tried, but from your description it looks like what you want.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.