Padre is kept in svn, but I wanted it in git to make it easier for me to work in multiple locations