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"
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 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`)
which is also driving me nuts because it frequently fails to update the issue and PR counts when I close issues or PRs. Only a hard reload, or closing the tab and opening a new new one, fixes it.
I find it strange to compare "math" with one programming language. Mathematics is a huge and diverse field, with many subcommunities and hence also differing notation.
Your rant would be akin to this if the sides are reversed: "It's surprising how many different ways there are to describe the same thing. Eg: see all the notations for dictionaries (hash tables? associative arrays? maps?) or lists (vectors? arrays?).
You don't have "the manual" of programming languages.
"
Maybe because tons and tons of software build with GNU make, not with Ninja, and if you want to be able to build that software, you need GNU make?
Also, Ninja by itself is not really a replacement for GNU make. Rather it's a tool one can build such a replacement on, so the comparison is a bit off to start with...
With "media server" I generally meant: "device hooked up to the speaker and AV receiver for video playback, couch surfing, perhaps the occasional game (mostly via emulators).
Yeah, adding the microphone and camera is going beyond that, but it's convenient to use the computer already hooked to the TV instead of, you know, hooking up yet another one. Also, how does Airplay give me access to the camera mounted on top of the TV (an old phone, BTW)? Also, how is that relevant for my comment at all? :-)
I've recently given Linux another try, for use on a machine meant as a media server, and also to drive my family "video call station" (i.e., combine big TV, webcam and a bluetooth audio widget with mic and speakers so that the kids can talk to their grandparents in COVID times). Went with the most main stream distro, Ubuntu 20.04.
Result: couldn't get the Bluetooth conference widget working. Googled around for hours and tried all kinds of things, including compiling and installing kernel modules and replacing the bluetooth stack. Nothing worked. No, this is not an exotic non-standard protocol, it's a standard one (I think aptX or so? sorry, forgot the details again already; but I googled around and found lots of people with similar issues, and then many "solutions", none of which worked; see above)
Anyway, I am back to plugging in my MacBook each time we want to video conference, and will soon install Windows on the media server (no matter how much I hate the thought).
I really want to use Linux for this kind of stuff, but it's 2020 and I can't get a Bluetooth widget working that works flawlessly on various Macs, Windows machines, iPhone, iPad and an Android phone.
So while things may be better, they are still far from where they could be, I am afraid.
Interesting, I don't know a single program on OS X which supports Ctrl+C/V for copy&paste but does not support Command+C/V (indeed, I know only a tiny set of programs that support Ctrl-C/V at all, mostly cross platform software that is badly adapted to OS X).
Out of curiosity, could you name an example or two?
Sorry, but I don't think there is any way this can be classified as "not actually a bug"