So, I don't seem to be able to merge commits in the integration repo, but I have shell and sudo on the CI servers...

Can we fix the gerrit group please?

Task filed because of holidays, and paper trail if deemed necessary :)