git-scripts Simple scripts and tools for managing and using git repos Not nearly ready for prime time, so expect problems if using them yourself.