Open bcho892 opened 3 months ago
Right now we require users to manually update their branch to master, however a more effective way could be to implement https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
Right now we require users to manually update their branch to master, however a more effective way could be to implement https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions