davedash/git-tools — pull request #1 by pmclanahan (2012-01-12 00:53:23+00:00)
Title: Added the ignore square-bracketted parts of the title.

Also added the exec bit to git-prune-all