Connie Duong
03/09/2022, 6:50 AM"git push -u origin <my_branch>"
used to push the cloned caravel project to our personal repo? I thought it was renamed to upstream so it should be
git push -u upstream <my_branch>
?Mitch Bailey
03/09/2022, 8:02 AM# Make sure that "caravel_example" matches the empty github repo name in step 1
git clone -b mpw-5c <https://github.com/efabless/caravel_user_project> caravel_example
cd caravel_example
So right here, your local repo is equivalent to efabless's repo, and has a pointer to that repo defined as the remote origin
git remote rename origin upstream
Here you rename the pointer to efabless's repo to remote upstream
. You won't (and actually cannot) push to this repo.
# You need to put your empty github repo URL from step 1
git remote add origin <your github repo URL>
Here you add a pointer to your repo called remote origin
(it used to point to efabless's repo, but we renamed it.)
# Create a new branch, you can name it anything
git checkout -b <my_branch>
git push -u origin <my_branch>
Here we add a tracking pointer to origin for my_branch
. Any future git push
commands will go to our repo (origin
) by default.Mitch Bailey
03/09/2022, 8:15 AMConnie Duong
03/09/2022, 3:58 PMMitch Bailey
03/09/2022, 10:11 PMConnie Duong
03/10/2022, 4:41 AM