Post #2842836

Weird, I had three pull requests pending review. I decided to go ahead and over-ride the branch protection rules and merge one of them. Somehow GitHub went ahead and merged all three. 😬