github issues now advises githubot 0.4.0 in order to add a user-agent