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