Skip to content

Conversation

@matthewd
Copy link
Member

@matthewd matthewd commented Jan 4, 2019

If people have git references to a number of public GitHub repositories, this turns some multi-round-trip git communications into single HTTP requests.

If the repository isn't public, this wastes an HTTP request because we still need to continue and do the mirror update -- but it remembers the failure and doesn't try again, so it's only a one-off cost.

If people have git references to a number of public GitHub repositories,
this turns some multi-round-trip git communications into single HTTP
requests.

If the repository isn't public, this wastes an HTTP request because we
still need to continue and do the mirror update -- but it remembers the
failure and doesn't try again, so it's only a one-off cost.
@matthewd matthewd force-pushed the master branch 2 times, most recently from 1da27db to c9aaee1 Compare March 11, 2019 17:18
Base automatically changed from master to main January 16, 2021 11:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants