What in the world... I've managed to get my GitHub pull request UI stuck in a state where a merged PR is stuck at the top and does not go away after a refresh of the page:

3 likes 0 replies