Improve error from GitHub fetch
Add User-Agent

as GitHub seems to have suddenly started enforcing it.