Move AdvancedSearch extension to Gerrit
Closed, ResolvedPublic

Description

Let's move the extension from https://github.com/thiemowmde/AdvancedSearch to Gerrit once the repository has been created.

Change 357368 had a related patch set uploaded (by Gabriel Birke; owner: Gabriel Birke):
[mediawiki/extensions/AdvancedSearch@master] Initial Commit

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

Lea_WMDE moved this task from Backlog to MVP on the Advanced-Search board.Jun 7 2017, 2:41 PM

Change 357368 merged by jenkins-bot:
[mediawiki/extensions/AdvancedSearch@master] Initial Commit

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

Tobi_WMDE_SW closed this task as Resolved.Jun 20 2017, 1:21 PM