Git shell commands

These scripts are useful to have in the git-shell when making a git server. Some of the scripts assume that you have my version of stagit installed.

Some of the scripts are based in the ones found here.