Re: Merging release branch

[Gregory Heytings]

> 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.