Padre-Plugin-SVN is a Padre repository