hadley/devtools — pull request #390 by krlmlr (2013-12-03 00:37:52+00:00)
Title: don't throw error when installing a pull request from GitHub using the format user/repo#pull

- Fixes #388.
- Fixes #389 (=includes it).
- Also includes removal of an unused variable