The git repository for PGM spring 2014