Can someone please adjust the Template for Extensions
https://www.mediawiki.org/wiki/Template:Extension
so that an additional (new) git download and browse source parameter becomes available? I need this (for example) for https://www.mediawiki.org/wiki/RSS .
We don't currently have a alternative for ExtensionDistribator so we can't really, Apart from giving people raw urls to do it manually.
wikitech-l@lists.wikimedia.org