## Git in this project AGENTS.md has no "## Git" section, so how git is used here is not settled. Before your first commit, branch or push, ask the user with ask_user, in one call: {{git_question}} Then add their answer to AGENTS.md under "## Git".