How does ChatGPT compare to GitHub Copilot when it comes to getting help writing code? Is one better than the other? For ChatGPT, have people learned any good prompt design to get excellent code results?