Skip to content

Remove clone-in-progress flag#246

Merged
asdine merged 2 commits into
masterfrom
remove-clone-in-progress
Jul 10, 2020
Merged

Remove clone-in-progress flag#246
asdine merged 2 commits into
masterfrom
remove-clone-in-progress

Conversation

@asdine

@asdine asdine commented Jul 10, 2020

Copy link
Copy Markdown
Contributor

This PR removes the clone-in-progress flag. The repositories API option cloneInProgress has been deprecated and will be removed in 3.19.
This is related to https://github.com/sourcegraph/sourcegraph/pull/12043

@asdine asdine merged commit b721a12 into master Jul 10, 2020
@asdine asdine deleted the remove-clone-in-progress branch July 10, 2020 13:54
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.

2 participants