Before you start working, add the extra remote repository for lab2. To do so, run:
git remote add distribution git@github.com:cs51/lab2.git
To check for updates, run:
git pull distribution master
You should run this periodically to check for updates.