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

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptSep 4 2018, 7:31 AM
MarcoAurelio moved this task from Backlog to make on the GitHub-Mirrors board.
MarcoAurelio added a subscriber: MarcoAurelio.

On it.

Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptSep 4 2018, 8:28 AM

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

MarcoAurelio closed this task as Resolved.Sep 4 2018, 8:54 AM

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 :-)