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

yusdacra improvements #269

Open
wants to merge 7 commits into
base: master
Choose a base branch
from

Conversation

NickHu
Copy link

@NickHu NickHu commented Jan 5, 2023

These are improvements from @yusdacra's fork, in the feat/builtinfetchgit branch. I simply rebased them onto master (I saw a comment which suggested that they intended to upstream the changes anyway, so hopefully this is OK). In particular, this fixes #197 and #205, and possibly more. I have been using this patch set for a long time and it has worked very well.

@Ericson2314
Copy link
Collaborator

Ericson2314 commented Jan 5, 2023

Can we break this up a bit? For starters, I do not want to use builtins.fetchgit only (opt in is perhaps fine). I don't like fetching sources at eval time when it is not needed, and I don't like the impure (without sha256) fetching this does either.

There are other changes in there that are unambiguous improvements, so it would be nice to get those however.

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.

Duplicated sources when using a workspace (multi-crates) repository
3 participants