git: skip fetch if the revision already exists #1735
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Background: I am working on a "richer" git experience with buildbot, where I can reliably get tags, work with multiple remote servers (for the same repo), and share git-objects on the slaves to avoid multiple builders doing redundant network fetches.
The current Git step is not quite sufficient because it seems (correct me if I'm wrong) to take a conservative view of working with a git-server: to only fetch the minimal amount needed.
So, this patch doesnt actually fix anything, so maybe it's not worth taking. But I thought I would post it.