explicitly specify user agent when querying user name and ref for pull request in install_github
add NEWS
Merge branch '405-github-pull-forbidden' into develop

Conflicts:
	NEWS.md

Reconciled.