95633c0 Don't setup git repo

1 file Authored by mattia 9 months ago, Committed by limb 9 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