how to write good prompts (for GitHub Copilot) this repository contains the content I showed a the GitHub Copilot Conference at SAP at Walldorf in June 2024