Mattia Verga 95633c0426 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.
2023-08-07 13:18:59 +00:00
2023-08-01 15:24:13 -05:00
2023-08-07 13:18:59 +00:00
2023-08-01 15:24:13 -05:00
Languages
Diff 100%