[NTG-context] Request for GitHub template on Wiki

The template {{src|FILE}} on the Wiki now produces a link to FILE in the `context' repository at repo.or.cz. It would be nice to be able to link to files in the `context-mirror' repository on GitHub from the Wiki, because it is perhaps more current than the one at repo.or.cz, and because some users may prefer the GitHub interface to the GitWeb interface at repo.or.cz. A MediaWiki template for GitHub links is described at https://www.mediawiki.org/wiki/Template:Github I request the Wiki administrators to consider adding this template to the Wiki. Thanks and regards, Raghu. -- N. Raghavendra , http://www.retrotexts.net/ Harish-Chandra Research Institute, http://www.hri.res.in/