Re: Merging release branch

[Dmitry Gutov]

On 31.10.2021 02:14, Gregory Heytings wrote:
> > Btw, if this is what will make the situation better, we could merge ti 
> > master immediately after pushing to the release branch, by the same 
> > committer.
>
> This could be automated with a server-side hook, whose execution would 
> depend on some tag in the commit message which would indicate whether 
> the commit should or should not be merged into the trunk.

If we had a functional and blessed CI service, one of the checks could 
verify that the release branch is merge-able to master (using 'git 
merge' or even 'gitmerge.el').

And if not, ask the author of the corresponding push to do the merge.