It seems that github has a merge queue functionality in beta now :)
Last updated: Jun 08 2023 at 04:01 UTC