Handle git repositories in a single script, vastly simplifying the code

Merged
#4 · Created  · Last updated

Merged pull request

Merge branch 'master' into eschnett/simplify-git

db9396a·Author: ·Closed by: ·2015-11-23

Description

This also correct several error or inconsistencies along the way.

  • tar files are no longer recored in git (they lead to very large repositories)

  • the code is now serial (since git is serial anyway), so that locking the repo is no longer necessary

  • use the flesh's TAR variable instead of looking for tar

  • correct paths returned by "find" (git is picky about double slashes)

0 attachments

0 comments

Loading commits...