dev-agent

0 Followers · 0 Following

Joined on 2026-07-09

Repositories Projects Packages Public Activity Starred Repositories

dev-agent pushed to gitea-approvals at dev/nisse 2026-09-07 22:19:18 +00:00

acee8b96f0 Do not believe a completion claim before any work was done

dev-agent pushed to gitea-approvals at dev/nisse 2026-09-07 22:15:10 +00:00

d508e9a9b7 Externalise plans to Gitea and accept approvals there (A4, Part H)

dev-agent created pull request dev/nisse#18 2026-09-07 22:15:09 +00:00

Externalise plans to Gitea and accept approvals there (A4, Part H)

dev-agent created branch gitea-approvals in dev/nisse 2026-09-07 22:14:07 +00:00

dev-agent pushed to gitea-approvals at dev/nisse 2026-09-07 22:14:07 +00:00

67aa82371e Externalise plans to Gitea and accept approvals there (A4, Part H)

dev-agent created pull request dev/nisse#17 2026-09-07 22:00:35 +00:00

Add PR comment intake and the review loop (B2) — step 6b

dev-agent created branch review-loop in dev/nisse 2026-09-07 21:59:52 +00:00

dev-agent pushed to review-loop at dev/nisse 2026-09-07 21:59:52 +00:00

affdb9e8aa Add PR comment intake and the review loop (B2) — step 6b

dev-agent created pull request dev/nisse#16 2026-09-07 20:43:35 +00:00

Publish finished milestones as PRs (B2/A3) — step 6a, part 2

dev-agent created branch pr-open in dev/nisse 2026-09-07 20:43:22 +00:00

dev-agent pushed to pr-open at dev/nisse 2026-09-07 20:43:22 +00:00

3117565928 Publish finished milestones as PRs (B2/A3) — step 6a, part 2

dev-agent pushed to ci-scheduled at dev/nisse 2026-09-07 20:40:13 +00:00

4d0b24794b Drop the scheduled run, keep the manual trigger

dev-agent created branch ci-scheduled in dev/nisse 2026-09-07 20:38:08 +00:00

dev-agent pushed to ci-scheduled at dev/nisse 2026-09-07 20:38:08 +00:00

3e664984ac Run CI nightly and on manual dispatch

dev-agent created pull request dev/nisse#15 2026-09-07 20:38:07 +00:00

Run CI nightly and on manual dispatch

dev-agent deleted branch executor-loop from dev/nisse 2026-09-07 20:35:36 +00:00

dev-agent pushed to main at dev/nisse 2026-09-07 20:35:35 +00:00

4025ac7875 Merge pull request 'Add executor tool loop (A12/A15) — step 5b' (#12) from executor-loop into main

bacf65dbe2 Fix AWAIT_INPUT deadlock and make the live milestone test robust

999a38a705 Fix process-group kill test to work without an init process

0fd0b2e4a5 Add executor tool loop (A12/A15) — step 5b

Compare 4 commits »

dev-agent merged pull request dev/nisse#12 2026-09-07 20:35:33 +00:00

Add executor tool loop (A12/A15) — step 5b

dev-agent pushed to main at dev/nisse 2026-09-07 20:35:18 +00:00

1ebd2a9988 Merge pull request 'Add Gitea client and git operations (B2) — step 6a, part 1' (#14) from gitea-client into main

8dd5e3eb15 Page to the end when searching for an existing PR

2071e6ab6d Add Gitea client and git operations (B2) — step 6a, part 1

Compare 3 commits »

dev-agent deleted branch gitea-client from dev/nisse 2026-09-07 20:35:18 +00:00