GitHub Says 'No Thanks' to Bots — Even if They're Nice