Let's Create A GitHub Copilot Extension! (Workshop) June 20, 2025 • JS Nation 2025 github copilot workshop agenticai devtools