github wants a user agent now