2 ms·
GitHub specifically has the issue mentioned in this blog post! It annoyed me so much I had to file it with them three years ago, and it’s still not fixed: https
by robin_reala 2y ago
GitHub specifically has the issue mentioned in this blog post! It annoyed me so much I had to file it with them three years ago, and it’s still not fixed: https://github.com/orgs/community/discussions/7506 https://github.com/orgs/community/discussions/7506
- Aeolun 2y agoI have to love that someone enthusiastically announced there was going to be a fix. Like, nobody, including the original issue author is actually enthusiastic about the fix. It’s just one less papercut. I’m sure if these things were actually seen by devs they’d add a two line change to a random PR and it would be done in a few minutes.