Post #1776720
2026-04-29 14:16 UTC
> Some pull requests may be missing due to an ongoing search incident, but no data is lost. Use the API or GitHub CLI (gh pr list) for complete pull request results.
Github is so cooked. I couldn't check the SampCert PR's yesterday and it looks like I can't check them today either
Replies (1)
-
@markusde@mathstodon.xyz 2026-04-29 14:18
The orange website has become the nexus of GitHub haters and I'm starting to think they're right