95633c0 Don't setup git repo

1 file Authored by mattia 10 months ago, Committed by limb 10 months ago,
    Don't setup git repo
    
    Setting up the source directory as git repo takes some time, since it's so big and with many files.

    I think we can spare some cpu cycles / time / memory / disk space to speed up builds by disabling that. I don't think we need to apply changes as git commits for any reason.
        
file modified
+2 -15