# Agent Instructions

## Dual Origin Commit and Push

When the user asks to "commit and push" (or equivalent), always execute both targets unless the user explicitly says otherwise:

- Primary origin push:
  - `git push origin dev`
- Old origin push:
  - `git push https://repo.ravanertebat.com/TM/tm_panel.git dev:develop`

Behavior requirements:

- If there are uncommitted changes, create a commit first and then push to both targets.
- If there is nothing to commit, still push the current `dev` branch to both targets.
- Do not ask for confirmation for the second push when the user request is "commit and push".
