gitindex: update remote.origin.url if clone already exists

sourcegraph / zoekt

Fast trigram based code search

Apache License 2.0

736 stars 83 forks source link

gitindex: update remote.origin.url if clone already exists #776

Closed keegancsmith closed 6 months ago

keegancsmith commented 6 months ago

This is so that when authentication details change we correctly update the CloneURL for repositories managed by our mirror commands.

Alternative to https://github.com/sourcegraph/zoekt/pull/775

xavier-calland commented 6 months ago

I think your version is better. This does not duplicate calling the git command. Go is not a language I work on regularly, so I lack knowledge of the possibilities and best practices.