Skip to content
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.

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

fetchGit: Ignore tarballTtl if rev is set and not in the repo. #1698

Merged
merged 1 commit into from Dec 5, 2017

Conversation

shlevy
Copy link
Member

@shlevy shlevy commented Nov 24, 2017

Fixes #1697.

@shlevy shlevy requested a review from edolstra November 24, 2017 02:51
@knedlsepp
Copy link
Member

Thanks for such a quick fix! I guess the only thing that could be added to the PR would be a test for the issue here:
https://github.com/NixOS/nix/blob/master/tests/fetchGit.sh#L54

@shlevy
Copy link
Member Author

shlevy commented Nov 24, 2017

@knedlsepp Any interest in adding the test yourself? You can then open a PR against my branch and I can add it to this PR.

@knedlsepp
Copy link
Member

@shlevy Yes I'm currently trying to do it. Please excuse however that even though the patch will be relatively simple, I currently predict that this will take me more than a few minutes since I'm just in the midst of trying to get the thing compiling inside the nix-shell.

@shlevy shlevy force-pushed the fetchGit-fast-revision-update branch from cfbb3e7 to eedbc4e Compare November 24, 2017 11:09
@shlevy
Copy link
Member Author

shlevy commented Nov 24, 2017

@knedlsepp Oops! Didn't see your response, already done 😮

@knedlsepp
Copy link
Member

@shlevy: Thanks! I guess I'll try to contribute some code the next time I stumble across an issue.

@shlevy
Copy link
Member Author

shlevy commented Nov 28, 2017

@edolstra ping

@shlevy
Copy link
Member Author

shlevy commented Dec 1, 2017

@edolstra barring any objections I'll merge next week

@shlevy shlevy merged commit eedbc4e into master Dec 5, 2017
@edolstra edolstra deleted the fetchGit-fast-revision-update branch May 29, 2019 12:29
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.

None yet

2 participants