Document repository moved from CVS to git