New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Don't create local branches for remote refs, and prune while fetching. #59

Merged

maleadt merged 1 commit into master from tb/remote_ref

Jan 9, 2020

Member

maleadt commented Jan 9, 2020 •

edited

Loading

Both to prevent caching old commits locally.
Ref JuliaLang/julia#34272 (comment)


          Don't create local branches for remote refs, and prune while fetching.

9c8597c

Both to prevent caching old commits locally.

maleadt merged commit 213a216 into master

delete-merged-branch bot deleted the tb/remote_ref branch

January 9, 2020 11:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet