For more information, look for «Configuring GitHub Copilot options into the GitHub»