Github prefers to have a user-agent given too.