e1494ea Replace the Pull-Request button by a Compare button if the user it not a repo admin

Authored and Committed by pingou 9 years ago
    Replace the Pull-Request button by a Compare button if the user it not a repo admin
    
        
file modified
+3 -0