The number of pull requests is not updated on github

I created a pull request, then I merged it, the number of pending merge requests is not updated.
Here is a screenshot :

thanks in advance

It should update if you press F5.
But it’s indeed a (visual) bug.

1 Like

This is true, the issue is that this has to be interactive, as a pull request is merged for example.