Reverted recent change that caused some pull requests to be incorrectly marked as merged
On September 5, 2022, we reverted a recent change to our indirect pull request merge logic that was causing some pull requests to be incorrectly marked as merged. This could…