14 lines (11 loc) · 454 Bytes

Minted

Make sure you follow these instructions, very important once we start getting into things.

Git Usage:
When you start working:
git pull
Once you are done:

git add file1 file2 ...
a. add all files you either modified or created (from your last pull)
git commit -m "commit description"
git push

Use git status to check for which files you have modified/added before adding and after adding