In github, I am currently working on a project with other developers that require a branch be up to date with main via a github enforced policy in order to be merged.
Is there a tool or queueing system that I can use that backmerges branches automatically?