bustub
bustub copied to clipboard
Git clone --depth leads to unsuccess git push using url
The README tells that clone this repo using --depth, however, after doing this, it will not be able to push into new repo using --mirror.
https://stackoverflow.com/questions/28983842/remote-rejected-shallow-update-not-allowed-after-changing-git-remote-url
Maybe it's a specific problem on url push, but it happens on my computer that the git push receives messages like "shallow update not allowed", just like the so link. I have solved it but it can be more helpful for other students if fixed.
Thank you! I was puzzled by the problem before seeing your issue.
Thanks so much. I have addressed this problem using your given solution.
So there are two solutions for this.
- Clone the repository without
--depthoption. - after cloning with
git clone --depth, just move files into the private repo directory (but you cannot track the upstream repo anymore as the commit history is different)
Same issues. And I am a bit confused why use git clone --depth in README. And I just use the webpage in github to import the code from other url.
Seems already fixed. Thanks for reporting.