Use correct repository when using install_github with a pull request#658

Merged

hadley merged 2 commits intor-lib:masterfrom krlmlr:install-github-alien-pull

Jan 12, 2015

Commits on Dec 3, 2014

Use head$user$login instead of user$login from response for installing a pull request
Kirill Müller
committed
update NEWS
Kirill Müller
committed