This was what I was actually trying to do...

I merged into the wrong branch just a few moments ago. So whichever pull request happened just a minute or so ago was a mistake.