Padre-Plugin-SVK is a Padre repository