layout: default title: "GitHub Setup" nav_order: 2 permalink: /git/
Please do not use a public github fork of this repository! We do not want solutions to be public. You should work in your own private repo. We recommended creating a mirrored private repository with multiple remotes. The following steps go over how to achieve this.
The easiest (but not recommended) way is to download a zip from GitHub and make a private repository from that. The main disadvantage with this is that whenever there is an update to the base code, you will have to re-download the zip and manually merge the differences into your code. This is a pain, and you already have a lot to do in 15462/662, so instead, let git
take care of this cumbersome "merging-updates" task:
Clone Scotty3D normally
- git clone https://github.com/CMU-Graphics/Scotty3D.git
Create a new private repository (e.g. MyScotty3D
)
- Do not initialize this repository - keep it completely empty.
- Let's say your repository is now hosted here: https://github.com/your_id/MyScotty3D.git
Ensure that you understand the concept of remote
s in git.
- When you clone a git repository, the default remote is named 'origin' and set to the URL you cloned from.
- We will set the origin
of our local clone to point to MyScotty3D.git
, but also have a remote called sourcerepo
for the public Scotty3D
repository.
Now go back to your clone of Scotty3D. This is how we add the private remote:
- Since we cloned from the CMU-Graphics/Scotty3D.git
repository, the current value of origin
should be https://github.com/CMU-Graphics/Scotty3D.git
- You can check this using git remote -v
, which should show:
origin https://github.com/CMU-Graphics/Scotty3D.git (fetch)
origin https://github.com/CMU-Graphics/Scotty3D.git (push)
- Rename origin
to sourcerepo
:
- git remote rename origin sourcerepo
- Add a new remote called origin
:
- git remote add origin https://github.com/your_id/MyScotty3D.git
- We can now push the starter code to our private copy:
- git push origin -u main
Congratulations! you have successfully mirrored a git repository with all past commits intact.
Now, let's see why this setup may be useful: say we start doing an assignment and commit regularly to our private repo (our origin
). Then the 15-462 staff push some new changes to the Scotty3D skeleton code that we want to pull in. But, we don't want to mess up the changes we've added to our private copy. Here's where git comes to the rescue:
origin
.git pull sourcerepo main
- this pulls all the changes from sourcerepo
into your local copy.
- If there are files with changes in both origin
and sourcerepo
, git will attempt to automatically merge the updates. Git may create a "merge" commit for this.
- Unfortunately, there may be conflicts. Git will handle as many merges as it can, then then tell you which files have conflicts that need manual resolution. You can resolve the conflicts in your text editor and create a new commit to complete the merge
process.git push origin main
Table of Content