This is all the stuff for our git research project