Page MenuHomePhabricator

Missing GitHub mirror of Extension:CreatedPagesList (on Gerrit for ~2 months)
Closed, ResolvedPublic

Event Timeline

Change 457844 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions/CreatedPagesList@master] Force replication of the code

https://gerrit.wikimedia.org/r/457844

Change 457844 merged by MarcoAurelio:
[mediawiki/extensions/CreatedPagesList@master] Force replication of the code

https://gerrit.wikimedia.org/r/457844

https://github.com/wikimedia/mediawiki-extensions-CreatedPagesList created and now in sync. (from now on too) with the gerrit repo.

Tagging releng just in case they want to review. I am used to delete mirrors, not to create them :-)