Skip to content

gitindex: update origin in the case of calling clone on an existing repo#775

Closed
xavier-calland wants to merge 1 commit intosourcegraph:mainfrom xavier-calland:gitindex-clone-url
+4

Commits