Programming with GitHub Copilot