Agent Guidelines

Git Workflow

Commit frequently: After completing a meaningful unit of work (feature, fix, or file update), stage changes with git add and create a commit with a clear, concise message in the imperative mood (e.g., "Add parser", "Fix timeout").
Push to remote: Once the local commit(s) are ready, push them to the remote repository. Use git push -u origin main if the upstream branch is not yet tracked; otherwise use git push.
No uncommitted changes left behind: Before finishing a task, ensure all intended changes are committed and pushed to avoid losing work.
No empty commits: Avoid creating empty or placeholder commits.