Page MenuHomePhabricator

CodeSearch's "deployed" profile hasn't yet worked out that WikiLambda is now branched for production
Closed, ResolvedPublic

Description turns up our services but not the extension (and so things are getting merged that break our code, boo).

Event Timeline

The update script is failing: Nov 03 06:00:07 codesearch8[29662]: configparser.DuplicateSectionError: While reading from '<string>' [line 442]: section 'submodule "Network"' already exists

Mentioned in SAL (#wikimedia-cloud) [2021-11-03T16:06:13Z] <legoktm> manually triggered codesearch-write-config job to pick up fix for T294915 immediately

Legoktm added a subscriber: Hexmode.

Thanks to @Hexmode for merging my PR quickly, it's now fixed:

Screenshot 2021-11-03 at 10-31-54 MediaWiki code search.png (1×3 px, 219 KB)