This happened an hour ago. There is absolutely no indication that it will be permanent - it takes a single click of a button to reopen a pull request.<p>The overwhelming chances are that you wouldn&#x27;t have ever noticed. And publicity like this is just going to make it harder to move on.