c41f6cc PR#318 Signed repos, take two [dist repos]

Merged and Committed by mikem 6 years ago
    PR#318 Signed repos, take two [dist repos]
    
    The feature was renamed from "signed repos" to "dist repos" during development.
    
    Merges #318
    
        
file modified
+433 -4
file modified
+146 -11
file modified
+3 -1
file modified
+178 -17
file modified
+1 -1
file modified
+2 -0
file modified
+10 -1
file modified
+32 -13
file modified
+9 -0
file modified
+5 -0
file modified
+5 -3
file modified
+16 -5