Page MenuHomePhabricator
Create Task
Maniphest T186290

codesearch should have search profiles for WMF production and for bundled/"tarball" extensions
Closed, ResolvedPublic
Actions

Description

Would be nice to be able to limit the search to WMF production for checking when a core patch with some kind of B/C break is ready to merge.
Maybe also for bundled extensions as they are mentioned in our deprecation policy.

Details

SubjectRepoBranchLines +/-
Add Wikimedia-deployed filterlabs/codesearchmaster+21 -2
Add search profile for bundled repos in the tarballlabs/codesearchmaster+34 -4
Customize query in gerrit

Related Objects

Event Timeline

• Tgr created this task.Feb 2 2018, 2:20 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 2 2018, 2:20 AM
Legoktm renamed this task from Add filter for WMF production to codesearch should have a search profile for WMF production and bundled extensions/tarball.Feb 2 2018, 3:51 AM
Jdforrester-WMF renamed this task from codesearch should have a search profile for WMF production and bundled extensions/tarball to codesearch should have search profiles for WMF production and for bundled/"tarball" extensions.Feb 5 2018, 7:27 PM
Jdforrester-WMF awarded a token.
Jdforrester-WMF subscribed.
gerritbot subscribed.Apr 7 2018, 1:15 AM

Change 424733 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[labs/codesearch@master] Add search profile for bundled repos in the tarball

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

gerritbot added a project: Patch-For-Review.Apr 7 2018, 1:15 AM

Change 424733 merged by jenkins-bot:
[labs/codesearch@master] Add search profile for bundled repos in the tarball

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

Legoktm mentioned this in rLCSHa744e3c50a9f: Add search profile for bundled repos in the tarball.Apr 7 2018, 1:16 AM
Aklapper mentioned this in T190891: Develop canonical/single record of origin, machine readable list of all repos deployed to WMF sites.Apr 18 2018, 2:41 PM
Aklapper mentioned this in T193447: Index @wikimedia source repos from GitHub.May 1 2018, 12:13 AM
gerritbot added a comment.Jul 25 2018, 10:58 PM

Change 447925 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[labs/codesearch@master] Add Wikimedia-deployed filter

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

gerritbot added a comment.Jul 25 2018, 11:01 PM

Change 447925 merged by jenkins-bot:
[labs/codesearch@master] Add Wikimedia-deployed filter

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

Legoktm closed this task as Resolved.Jul 25 2018, 11:05 PM
Legoktm claimed this task.
Legoktm subscribed.

Not sure why I didn't do the wikimedia-deployed part months ago...

Legoktm mentioned this in rLCSH3e162b286ffc: Add Wikimedia-deployed filter.Jul 26 2018, 4:09 AM
Jdforrester-WMF added a comment.Jul 26 2018, 2:48 PM

Thank you!

Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits