@danieldk thank you for the review!

Can I use this (new?) "commit suggestion" feature and then you squash the commits, of is it better if I mirror them locally and rebase?

Or any other workflow that's easiest for you (I mean, if you can and want commit them yourself from here, I'm more than happy).

Can I use this (new?) "commit suggestion" feature and then you squash the commits, of is it better if I mirror them locally and rebase?

It's best to mirror them locally, but you should be able to get best from both worlds. First use the commit suggestions in the GitHub interface, then something like:

$ git pull --rebase
$ git rebase -i master
# Mark everything but the first commit squash, save and quit
$ git log # Verify that the history looks ok
$ git push -f

Will do, thanks. Just wanted to make sure I'm not going to drive CI jobs crazy :)