Page MenuHomePhabricator

Add Codex to Codesearch
Closed, ResolvedPublic

Description

Should probably go under libraries like WVUI, rLCSHd1e88036b97b: Add wvui to codesearch under libraries

Event Timeline

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 769845 had a related patch set uploaded (by DannyS712; author: DannyS712):

[labs/codesearch@master] Add Codex to codesearch under libraries

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

DannyS712 changed the task status from Open to In Progress.Mar 11 2022, 8:22 PM
DannyS712 moved this task from Unsorted to Awaiting review and deployment on the User-DannyS712 board.
DannyS712 moved this task from Inbox to Infrastructure on the Codex board.
Volker_E rescinded a token.
Volker_E awarded a token.

Change 769845 merged by jenkins-bot:

[labs/codesearch@master] Add Codex to codesearch under libraries

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

@Legoktm is there a deployment process needed? This doesn't appear to be listed at https://codesearch.wmcloud.org/libraries/ yet. Perhaps its because the primary branch is main instead of master?

It gets deployed automatically in mid-night UTC (or around that). Be patient.

It gets deployed automatically in mid-night UTC (or around that). Be patient.

Its still not there, and its been a few days. Could it be because of the primary branch being main instead of master? Or are the automatic deployments not going through?

Change 770659 had a related patch set uploaded (by Legoktm; author: Legoktm):

[labs/codesearch@master] Fix name of codex repository on Gerrit

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

Mar 13 06:00:27 codesearch8 docker[874]: 2022/03/13 06:00:27 Failed to clone https://gerrit-replica.wikimedia.org/r/codex.git, see output below
Mar 13 06:00:27 codesearch8 docker[874]: Cloning into 'vcs-2d0639f4cc99634ecce9241f74bacd38e3d57138'...
Mar 13 06:00:27 codesearch8 docker[874]: fatal: remote error: codex unavailable

The correct name is design/codex. Any hound supports main being the default just fine, we already have a few other repositories using non-master primary branches.

Change 770659 merged by jenkins-bot:

[labs/codesearch@master] Fix name of codex repository on Gerrit

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

Mentioned in SAL (#wikimedia-cloud) [2022-03-15T02:09:54Z] <legoktm> forcing manual run of codesearch-write-config for T303641

Mar 13 06:00:27 codesearch8 docker[874]: 2022/03/13 06:00:27 Failed to clone https://gerrit-replica.wikimedia.org/r/codex.git, see output below
Mar 13 06:00:27 codesearch8 docker[874]: Cloning into 'vcs-2d0639f4cc99634ecce9241f74bacd38e3d57138'...
Mar 13 06:00:27 codesearch8 docker[874]: fatal: remote error: codex unavailable

The correct name is design/codex. Any hound supports main being the default just fine, we already have a few other repositories using non-master primary branches.

Ah, oops. Thanks