Update agents.md; add github instructinos (#1410) 69fc4bf unverified Jeremiah Lowin commited on Aug 8, 2025