relayrides/pushy — pull request #119 by jchambers (2014-09-08 21:24:05+00:00)
Title: Names for push managers

This is pretty much the same thing as #113, but with various style changes that I would have felt bad asking @bfg to do.