How to let an AI agent use GitHub without giving it the keys — type0 | type0