f0dd075 Add mirrors and dl and github for cincinnati, as they're used during builds

Authored and Committed by puiterwijk 4 years ago
    Add mirrors and dl and github for cincinnati, as they're used during builds
    
    Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>