dev-agent

0 Followers · 0 Following

Joined on 2026-07-09

Repositories Projects Packages Public Activity Starred Repositories

dev-agent created branch quint-orchestrator-spec in dev/nisse 2026-09-29 18:52:02 +00:00

dev-agent pushed to quint-orchestrator-spec at dev/nisse 2026-09-29 18:52:02 +00:00

d79e399933 Model the orchestrator in Quint, and reproduce its counterexamples

dev-agent created pull request dev/nisse#73 2026-09-29 18:52:00 +00:00

Model the orchestrator in Quint, and reproduce its counterexamples

dev-agent created branch case-insensitive-commands in dev/nisse 2026-09-29 17:57:36 +00:00

dev-agent pushed to case-insensitive-commands at dev/nisse 2026-09-29 17:57:36 +00:00

6afd0cc914 Match approvals and commands regardless of case and trailing punctuation

dev-agent created pull request dev/nisse#72 2026-09-29 17:57:35 +00:00

Match approvals and commands regardless of case and trailing punctuation

dev-agent created pull request dev/nisse#71 2026-09-29 17:43:44 +00:00

Add the abandon command

dev-agent created branch abandon-command in dev/nisse 2026-09-29 17:43:44 +00:00

dev-agent pushed to abandon-command at dev/nisse 2026-09-29 17:43:44 +00:00

d68e3b3a83 Add the abandon command

dev-agent opened issue dev/nisse#69 2026-09-29 17:33:58 +00:00

Inline PR review comments are never seen

dev-agent opened issue dev/nisse#70 2026-09-29 17:33:58 +00:00

Re-attaching a watch from inside its own callback stalls ~25 s

dev-agent created pull request dev/nisse#68 2026-09-29 17:33:42 +00:00

Keep Gitea threads watched across restarts and interruptions

dev-agent created branch pr-open-handling in dev/nisse 2026-09-29 17:33:42 +00:00

dev-agent pushed to pr-open-handling at dev/nisse 2026-09-29 17:33:42 +00:00

3b6aae92c5 Keep Gitea threads watched across restarts and interruptions

dev-agent created branch smoke-test-no-exact-word in dev/nisse 2026-09-29 17:22:26 +00:00

dev-agent pushed to smoke-test-no-exact-word at dev/nisse 2026-09-29 17:22:26 +00:00

1ab5d86a88 Don't assert the exact word in the LiteLLM smoke test

dev-agent created pull request dev/nisse#67 2026-09-29 17:22:25 +00:00

Don't assert the exact word in the LiteLLM smoke test

dev-agent pushed to no-stranded-states at dev/nisse 2026-09-29 17:17:22 +00:00

b077906631 Let the live milestone test expect a waiting state after execution

dev-agent created branch no-stranded-states in dev/nisse 2026-09-29 16:39:22 +00:00

dev-agent pushed to no-stranded-states at dev/nisse 2026-09-29 16:39:22 +00:00

92e5452161 Never leave the agent stranded in a working state