Our archived version of the git repo (had to migrate to a new one, because the githistory became too large).