Post

I just merged a pull request on GitHub and the pull request stayed open, while the commit landed on the default branch. I guess the Microsoft acquisition has infected them after all.