Tech »  'This is horrific': GitHub kills Copilot pull-request ads after user backlash