HomeSoftware Heritage

Never go further than the previously fetched HEADs when updating a repository

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Never go further than the previously fetched HEADs when updating a repository

This avoids a very expensive, and quite slow, recursive search, when updating a
big repository such as linux.git. The downside of this is that we download more
data, but that's not really a problem.

Details

Provenance
olasdAuthored on Jul 4 2018, 2:11 PM
olasdPushed on Jul 4 2018, 3:05 PM

Commit No Longer Exists

This commit no longer exists in the repository.