use "git config --edit" instead of manually launched editor
tree56fe3cf6f392b6b4e8e5dc01050adb2a48590a7a
-rw-r--r-- 35 .gitignore
-rw-r--r-- 70 .gitmodules
-rw-r--r-- 18018 LICENSE
-rw-r--r-- 5491 README.md
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 1039 TODO.md
drwxr-xr-x - app
-rwxr-xr-x 49359 git-rehi
-rw-r--r-- 1497 git-rehi.cabal
-rwxr-xr-x 1278 itest-edit.sh
-rw-r--r-- 21131 itest-repo.data
-rwxr-xr-x 11677 itest.pl
-rw-r--r-- 194 stack.yaml
-rwxr-xr-x 13339 test.pl