Remove clone-in-progress flag (!246) · Merge requests · Warren Gifford / src-cli

Warren Gifford requested to merge remove-clone-in-progress into master Jul 10, 2020

Created by: asdine

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

Remove clone-in-progress flag

Merge request reports