Summary

As cool codespaces can be, I would really be fan of using GitHub Copilot on github.dev. It is simple to explain how to access, how to manage, and to explain to other contributors how to set a simple and efficient way to propose code.

Changes

Make the use of Github Copilot extension possible on the github.dev platform.

Additional context

This is maybe an out of scope feedback but if you can it to the right people it could be a great +1 on coding efficiency on participative projects.