Commits on Mar 16, 2023

1. Stop using mergify merge queue feature …

   Due to recent changes in the mergify configuration/service the merge
   queue feature of mergify is no longer working as expected. It's not
   clear if this just a temporary bug in mergify, a longer term change in
   behavior (which requires all PR authors to be registered on mergify), or
   some incompatibility between the github api and mergify. However,
   because we're no longer able to rely on it we've moved to using github's
   native merge queue feature [1][2] instead. Since this new merge queue
   would conflict with mergify's this commit removes the merge queue
   configuration from the mergify configuration. The configuration for
   stable backporting is left in place because github doesn't natively
   offer that feature and it appears to still work fine.
   
   [1] https://github.blog/changelog/2023-02-08-pull-request-merge-queue-public-beta/
   [2] https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue

   

   mtreinish committed Mar 16, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 2a8b613
   • Browse repository at this point

   Copy the full SHA

   2a8b613 View commit details

   Browse the repository at this point in the history