johba 0490a4b8d8 Merge pull request 'fix: auto-close issues when dev-agent detects already_done' (#42) from fix/close-already-done into main ... Reviewed-on: https://codeberg.org/johba/disinto/pulls/42		2026-03-17 10:39:22 +01:00
..
dev-agent.sh	fix: auto-close issues when dev-agent detects already_done	2026-03-17 09:38:08 +00:00
dev-poll.sh	fix: enforce single-threaded pipeline per project	2026-03-17 09:17:02 +00:00