stop making tools that integrate with github, just make them integrate with git instead
it's. really not that difficult
this is a cachix callout post
@hazel mastodon won't let me boost this
@hazel More than once I look at those fancy web IDE and wish they were just generic against a Git repo. Or Penflip (site is down right now) which was a writing tool backed by Git, but it had to host its own.
Or how about stuff that don't really need "deep" Git integration to begin with, and just require GitHub because everyone uses it.
Looking at you, crates.io
@hazel There's an issue reported against the elementary OS build server complaining it's GitHub-only. (Which I believe is for the sake of reporting issues)
I keep myself too busy to tackle it myself.
@hazel like hooks which shows output of CI? How?