1 Commits
Author SHA1 Message Date
Derek Bruening 6835746c47 Transition to git: developer setup script and git hooks
Adds a developer setup script and git hooks to add aliases and
configurations for our workflow.  A developer should run
make/git/devsetup.sh once in each repository after cloning.

Currently some of these scripts assume that unix utilities are on the
path.  We may need to augment them for better Windows support.
2014-11-28 21:29:27 -05:00