It seems that github has a merge queue functionality in beta now :)
Last updated: Mar 28 2024 at 14:01 UTC