Skip to content

Conversation

@efritz
Copy link
Contributor

@efritz efritz commented Feb 12, 2023

Diff is pretty self-explanatory. See https://github.com/sourcegraph/sourcegraph/pull/47532.

Test plan

Going to create a local docker image and test the auto-indexing flow locally to make sure we don't continue to clobber the /.executor route prefix.

@efritz efritz merged commit 8579a58 into main Feb 12, 2023
@efritz efritz deleted the ef/destomp-executor branch February 12, 2023 22:55
scjohns pushed a commit that referenced this pull request Apr 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants