Is GitHub Copilot a Threat to Developers?