search

JeroenDeDauw / GitHub

MediaWiki extension that allows embedding the content of files hosted in GitHub git repositories
https://professional.wiki/
Other
32 stars 20 forks source link

RawGit is shutting down #53

Closed ghost closed 4 years ago

ghost commented 4 years ago

Sidenote: should a MediaWiki extension rely on a middleman like this? Surely something like fetching code from Github could be servicised & use the Github API..

ghost commented 4 years ago

https://github.com/JeroenDeDauw/GitHub/issues/52

JeroenDeDauw commented 4 years ago

Sidenote: should a MediaWiki extension rely on a middleman like this? Surely something like fetching code from Github could be servicised & use the Github API..

PRs welcome ;)