How to archive a git repository
( git ls-files -co --exclude-standard && git -C SUBMODULES ls-files -co --exclude-standard | sed 's|^|external/sciplot/|' ) | zip -9 -@ repo.zip
( git ls-files -co --exclude-standard && git -C SUBMODULES ls-files -co --exclude-standard | sed 's|^|external/sciplot/|' ) | zip -9 -@ repo.zip