Add required user-agent for GitHub's API