-
Notifications
You must be signed in to change notification settings - Fork 525
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
Cannot update GitHub dependency #385
Comments
Hm. Have you pulled latest from GitHub? Earlier the paket-files weren't checked-in. |
Yes I tested on 0502edf30ba168605c3a3ce6adfbffb84db0674a |
That's strange then. Maybe the code could be made more robust anyway. How is updating GitHub dependecies implemented? Such error that I get would not be possible if entire folder was removed first. |
we are doing this, but before we're checking if the folder is up-to-date (to save your bandwidth). It would be really interesting to reproduce this. |
Oh bugger, sorry my bad, I forgot to push after all. Please try again now with revision 1ea188a472 |
cool I can reproduce and will try to find the issue. 👍 |
It works. Thanks! 👍 |
Once there is a github dependency downloaded into paket-files it's not possible to update.
To reproduce:
paket update
File "[...]\paket-files\tpluscode\fileversionextractor\.gitattributes" already exists.
The text was updated successfully, but these errors were encountered: