It seems that github has a merge queue functionality in beta now :)
Last updated: Dec 06 2023 at 14:01 UTC