78880b7 Rename the pagure repo validator to pagure_repo

Authored and Committed by pingou 8 years ago
    Rename the pagure repo validator to pagure_repo
    
    As otherwise we could conflict with other repo (distgit, github...)
    
        
file modified
+1 -1
file modified
+2 -2