GitHub will want to be able to monitor and specifically block traffic from this tool if it's used in abusive ways, which is highly possible, so we should help them by ensuring the user agent is set explicitly.