Anonymous 03/12/2020 (Thu) 16:02:37 No.14051 del
nice circlejerk, but aren't they actually using the github/git distinction correctly? tool in question seems to give you access to all the random shit github does outside of git, like their idiosyncratic pull requests, issues, all that stuff.