Skip to content

Clarify and de-duplicate Copilot instructions across the repo - #11357

Closed
Timothee Guerin (timotheeguerin) with Copilot wants to merge 5 commits into
mainfrom
copilot/review-copilot-instructions
Closed

Clarify and de-duplicate Copilot instructions across the repo#11357
Timothee Guerin (timotheeguerin) with Copilot wants to merge 5 commits into
mainfrom
copilot/review-copilot-instructions