f918e26cce
Fixes #770 The dev agent was pushing fixes without rebasing. If main moved since the branch was created, the PR becomes unmergeable. This adds a rebase step before every git push in the dev agent workflow: - Initial push after implementing - Push after CI fix - Push after review feedback Rebasing ensures PRs stay up-to-date with the target branch and avoids merge conflicts. Co-authored-by: johba <johba@users.codeberg.org> Reviewed-on: https://codeberg.org/johba/disinto/pulls/775 Reviewed-by: Disinto_bot <disinto_bot@noreply.codeberg.org> |
||
|---|---|---|
| .. | ||
| AGENTS.md | ||
| dev-agent.sh | ||
| dev-poll.sh | ||
| phase-handler.sh | ||
| phase-test.sh | ||