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

Closed xavier-calland closed 6 months ago