Padre-Tidy is a Padre repository