##ps2

Before you start working, add the extra remote repository for ps2. To do so, run:

git remote add distribution git@github.com:cs51/ps2.git

To check for updates, run:

git pull distribution master

You should run this periodically to check for updates.