-
Notifications
You must be signed in to change notification settings - Fork 570
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
Internal Server Error when pushing local folder to repo branch #1401
Comments
Thanks for pointing that out @lewtun. I'll have a look in a bit |
Ah, I wonder if the problem is that the local repo has its own Git history in |
That's what I wondered as well but then why the But yes, it's a good explanation. |
(in general, I was also thinking of respecting the .gitignore file when doing a upload_folder) |
@lewtun you were right, it is indeed an issue raised when pushing the FYI doing As a side note for the script itself:
|
Describe the bug
When trying to push a local Hub repo to another Hub repo's branch with
upload_folder()
, I am hitting an error like the following:Curiously, the error is resolved if I copy the local Hub repo to another directory and point
upload_folder()
to that. Concretely:Perhaps there's some weird interaction with Git LFS at play here?
Reproduction
Run the cells in this Colab to reproduce the error: https://colab.research.google.com/drive/1lhiiw22EmIypYChZpbwVWwHcSNJpmqXh?usp=sharing
Logs
The text was updated successfully, but these errors were encountered: