How to write a great agents.md: Lessons from over 2,500 repositoriesgithub.blog3 pointse2e47 months ago