this trivial bug fix took more than a year to be merged:
https://github.com/actions/runner/pull/3157
that bug likely ended up costing customers millions
So many people here treat github like it's a utility; it's not. If you're not happy with it, move on to alternatives or make your own version.
Of course IBM and Oracle still exist, so who knows.
that's the point isn't it?
GitHub was a product that was loved by its userbase, because it was built by developers for developers
but Microsoft only care about one person, and one person alone: the individual that approves the purchase order
the people who have to suffer actually using the software are unimportant
which explains the rapid descent of GitHub into your standard quality Microsoft product (i.e.: terrible)
A bit of an aside, I've only personally used Azure on one project at one company but their console UI had some bizarre footguns that caused us problems more than once. They have a habit of hiding any controls and options that your current logged-in user doesn't have permissions to use. In some cases that manifested as important warnings or tools that I wasn't even aware of (and were important to me!), but the owner of the company and other global admins could see. AWS, at least for a lot of the services last time I used it, was comfortable greying most things out with a tooltip telling you your user is missing X permission, which was way more actionable and the Azure version gave me whiplash by comparison.