6 ms·

GitHub stability has been bad for me. And recently even the data they show me in the web has been unreliably. Since yesterday, me and several colleagues notice

GitHub stability has been bad for me. And recently even the data they show me in the web has been unreliably. Since yesterday, me and several colleagues noticed that the pull request lists on the website are incomplete, across many repositories. For example, on https://github.com/gap-system/gap/pulls https://github.com/gap-system/gap/pulls it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`) And that despite <https://www.githubstatus.com https://www.githubstatus.com> reporting "all systems operational".

embedding-shape 5mo ago
> For example, on https://github.com/gap-system/gap/pulls https://github.com/gap-system/gap/pulls it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`) Surely a scaling hack where they use "estimation" queries that return "kind of right" results instead of 100% correct data, as it's less load on the infrastructure. Not necessarily a bug as much a shit choice from product perspective.
- BlackFingolfin 5mo ago
  If the numbers were all that is wrong, that'd be OK. But it fails to list all data -- so the only way to navigate to the missing PRs is to know their number, and manually inserting the right URL (or to go to another PR, and then edit the URL in the navigation). Sorry, but I don't think there is any way this can be classified as "not actually a bug"
matharmin 5mo ago
In many of my projects don't show any closed pull requests for the last 6 days. The CLI can list them, but anything going through search shows nothing. Their support acknowledged the issue, but has been silent since then, and the status page still shows nothing other than the potentially-related issue on the 27th. It looks like it has been resolved on some repositories in the meantime, but I still have the issue across multiple orgs and repositories. https://github.com/orgs/community/discussions/193388 https://github.com/orgs/community/discussions/193388
- tracker1 5mo ago
  I'm not able to see the current release-please PR and the last one broke during release creation so aborted the deploy. Hoping today goes better, but limited expectations after yesterday and may be deploying manualy.
  - Mitch22 5mo ago
    [dead]
vinc 5mo ago
I noticed the same thing and indeed the status page is not reporting the issue. I could find the missing PRs by browsing the branches page.

embedding-shape 5mo ago

> For example, on https://github.com/gap-system/gap/pulls https://github.com/gap-system/gap/pulls it says "Pull requests 78" in the "tab list", but the PR list view reports "35 open" (the number 78 is correct, and confirmed by e.g. `gh pr list`) Surely a scaling hack where they use "estimation" queries that return "kind of right" results instead of 100% correct data, as it's less load on the infrastructure. Not necessarily a bug as much a shit choice from product perspective.

BlackFingolfin 5mo ago
If the numbers were all that is wrong, that'd be OK. But it fails to list all data -- so the only way to navigate to the missing PRs is to know their number, and manually inserting the right URL (or to go to another PR, and then edit the URL in the navigation). Sorry, but I don't think there is any way this can be classified as "not actually a bug"

matharmin 5mo ago

In many of my projects don't show any closed pull requests for the last 6 days. The CLI can list them, but anything going through search shows nothing. Their support acknowledged the issue, but has been silent since then, and the status page still shows nothing other than the potentially-related issue on the 27th. It looks like it has been resolved on some repositories in the meantime, but I still have the issue across multiple orgs and repositories. https://github.com/orgs/community/discussions/193388 https://github.com/orgs/community/discussions/193388

tracker1 5mo ago
I'm not able to see the current release-please PR and the last one broke during release creation so aborted the deploy. Hoping today goes better, but limited expectations after yesterday and may be deploying manualy.
- Mitch22 5mo ago
  [dead]

vinc 5mo ago

I noticed the same thing and indeed the status page is not reporting the issue. I could find the missing PRs by browsing the branches page.