@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
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
sr-dev mailing list