GitHub Copilot – Community-contributed agents, instructions, and skills (awesome-copilot.github.com)