twisted/twisted-dev-tools — pull request #3 by exarkun (2013-08-22 18:14:03+00:00)
Title: Give the branch-making tool a uniquer name

The twisted-dev-tools branch making tool is now named "make-branch".