git/github pull utility

Saw mention of this cool little node.js utility on one of the Sakai
lists; for anyone needing to deal with pull requests:

https://github.com/jeresig/pulley

Can be installed with npm:

$ node install pulley

Bruce