/etckeeper repo from CSLab001 for the 2012-13 build.