How GitHub's Agentic Security Principles Make Our AI Agents as Secure as Possible