-* `update-mirror`. A work in progress script to automate mirroring of upstream
- repositories hosted on various revision controls systems. Thanks to the
- authors of [girocco](http://repo.or.cz/w/girocco.git), whose clone.sh script
- forms the basis of this script.
+* `git-push-public`. Used by TMI to replicate changes made to open source
+ projects hosted on TMI private servers to the TMI public server.
+
+* `server-gc`. A tool to run git-gc on each bare git repository found within a
+ given filesystem directory tree. Newest versions of git generally make this
+ utility redundant.
+
+* `update-mirror`. Used by TMI to update a local git mirror of an upstream git
+ or svn repository. Derived from the clone.sh script found at
+ [girocco](http://repo.or.cz/w/girocco.git).