rodjek/librarian-puppet — pull request #95 by jamesez (2013-04-24 19:59:48+00:00)
Title: Fix GitHub user-agent change

This trivial patch sends a User-Agent header, which is now required by GitHub.

http://developer.github.com/changes/2013-04-24-user-agent-required/