3 ms·GitHub Copilot – Community-contributed agents, instructions, and skills3 points by ms7892 6mo ago