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.
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)