Make sure version.py runs succesfully even if git is not installed.
[tinc] / .ci / sanitizers /
drwxr-xr-x   ..
-rw-r--r-- 80 ignore.txt
-rwxr-xr-x 1147 run.sh