It has been happening for several weeks, the repo header pull requests number won’t update after approve and merge a pull request
Any links to the repository in question?
it’s our private repo, not sure whether you can see it
Nope! totally hidden.
But GH staff members should be able to see it and help you out!