added a user-agent due to GitHub api changes