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