https://docs.github.com/en/copilot/how-tos/configure-custom-instructions/add-repository-instructions#using-a-single-githubcopilot-instructionsmd-file-1
Following this, we need to create .github/copilot-instructions.md to help copilot do better.

Content to start with:

1. Use clippy, rustfmt, and cargo check regularly.