Re: MediaWiki Stakeholders' meta-repository of extensions not in gerrit
This is a duplicate email of another message with the same content that was sent about 30 minutes before this one.
On Saturday, December 23, 2017, 6:05 PM, Mark A. Hershberger <[hidden email]> wrote:
This afternoon, while procrastinating by cleaning up my clone of
gerrit's mediawiki extensions repository, I decided to make a meta
repository for some non-WMF-hosted extensions. (Hopefully this will
mean less need to clean up the clone in the future.)
I got some low-hanging fruit to start it off, but I'm hoping I can get
some pull requests to add more repositories.