How to use GitHub Copilot: Prompts, tips, and use cases