Rules and scripts to convert the BOINC SVN repository to Git