Page MenuHomePhabricator

Codesearch needs a filter for JS/PHP libraries
Closed, ResolvedPublic

Event Timeline

Legoktm created this task.Feb 26 2018, 2:27 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 26 2018, 2:27 AM

Change 565424 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[labs/codesearch@master] Provide a 'libraries' index with all the internal PHP upstreams

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

Change 567190 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[operations/puppet@production] codesearch: Configure port for 'libraries'

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

Change 565424 merged by jenkins-bot:
[labs/codesearch@master] Provide a 'libraries' index with all the internal PHP upstreams

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

Change 567190 merged by Dzahn:
[operations/puppet@production] codesearch: Configure port for 'libraries'

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

Legoktm closed this task as Resolved.Jun 28 2020, 9:09 AM
Legoktm assigned this task to Jdforrester-WMF.