On Sun, Nov 5, 2023 at 1:10 PM Andrey Semashev via Boost
Maybe there are other ideas how to avoid commits unmerged to master?
You avoid them by making sure to merge.
what do you think about creating a GitHub Action to automatically merge develop to master once the CI on develop succeeds
No I don't like that at all because it implies that a Boost-tier author or maintainer is not capable of the simple task of keeping master up to date with develop. If they are not capable of that, then I can't help but wonder what else they are incapable of. Will they forget to write unit tests, or add documentation for newly committed code? If you want automation, how about sending a reminder email "There are unmerged changes in develop which are at least a week old." Thanks