GitHub’s merge queue and GitLab’s merge train workflows
https://techdoc.one.com/guides/gitlab/marge-bot/