polymer/tools — pull request #12 by carlos-aguayo (2013-11-15 05:38:09+00:00)
Title: Fixed case.

The name of the repo is "polymer", not "Polymer". Fetching ```git://github.com/Polymer/tools.git``` gave me an error.