Hello committers, So I have a couple MRs approved CI is unhappy for now but I hope I can get to a state where merging is ok at some point. I realize I am unsure what the merge policy is. Looking at the repo history it seems to be rebase & merge ( fully linearized history ) but I wonder how other committers actually go about this ( especially with regards to signed commits )
Do you : - click rebase and merge in github and use github driven signatures ? - locally checkout,rebase, forcepush to branch, merge then push to master using local gpg sig ? Thanks ! jean ps: I checked https://james.staged.apache.org/james-project/3.7.0/community/contributing.html# but didn't see anything particularly relevant.
