Skip to content

Conversation

@mrnugget
Copy link
Contributor

@mrnugget mrnugget commented Jun 2, 2020

https://github.com/sourcegraph/sourcegraph/pull/11071 changes parts of our GraphQL API that make this change necessary.

In order to not break older Sourcegraph versions, we need to release this in a minor-version bump (so that older Sourcegraph versions don't recommend it) and increase the "required src-cli version" in Sourcegraph.

@mrnugget mrnugget requested a review from eseliger June 2, 2020 14:39
@mrnugget mrnugget marked this pull request as ready for review June 3, 2020 13:53
@mrnugget mrnugget requested a review from ryanslade June 3, 2020 13:53
@mrnugget mrnugget merged commit c7263dc into master Jun 3, 2020
@mrnugget mrnugget deleted the campaigns/hidden-patches branch June 3, 2020 16:14
mrnugget added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Jun 3, 2020
mrnugget added a commit to sourcegraph/sourcegraph-public-snapshot that referenced this pull request Jun 3, 2020
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