# Agent Instructions

## Pushing Changes

1. Check the working tree before editing:
   `git status --short --branch`
2. Make the requested changes without modifying unrelated files.
3. Review what changed:
   `git diff`
4. Stage only intended files:
   `git add <path>`
5. Commit with a conventional commit message:
   `git commit -m "type: short description"`
6. Push to the tracked remote branch:
   `git push`

If the branch is not tracking a remote yet, push with:

```sh
git push -u origin main
```

## Credentials

Do not commit credentials, tokens, `.netrc` files, or generated askpass scripts.
Use credentials stored outside this repository when authentication is required.
