d5e6d8 Add some more options to repo configs

Authored and Committed by pjgeorg 2 years ago
    Add some more options to repo configs
    
        
file modified
+21 -5