Hello all, the current policy is to not merge to master, but to only push on top. This is not consistent with your proposal, Maxim. It is not set in stone, but we should also not change the policy without thorough discussion (and maybe a GCD). My suggestion would be to follow the agreed-upon release process for now, and then in the subsequent discussion period bring up problems (your concern may or may not turn out to be a big blocker) and modify the release process accordingly. But let us not change the process in the middle of our first release since years ago.
Andreas
