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

Loading commits...