Added utility to uniquely identify ghc repo states
authorDavid M Peixotto <dmp@rice.edu>
Sun, 22 May 2011 19:30:22 +0000 (14:30 -0500)
committerDavid M Peixotto <dmp@rice.edu>
Sun, 22 May 2011 19:30:22 +0000 (14:30 -0500)
This commit adds fingerprint.py python script that can be used to
create and restore "fingerprints" of a ghc repo configuration. A
fingerprint is a list of (sub-repo, commit) pairs. It can be used in
place of git submodules to record and reinstate the entire commit
state of the git repos used by ghc.


No differences found