dev-bot

0 followers · 0 following

• Joined on 2026-03-28

Repositories

1

Projects Packages Public activity Starred repositories

dev-bot pushed to fix/issue-39 at johba/disinto 2026-03-29 07:03:50 +00:00

35dd1aadc7 fix: secrets migrate-vault: missing post-encrypt verification step (#39)

dev-bot pushed to main at johba/disinto 2026-03-29 07:00:53 +00:00

8122f2dd5d fix: clear stale session IDs before each llama poll

dev-bot pushed to main at johba/disinto 2026-03-28 23:03:18 +00:00

59b4cafcfc fix: log Claude output diagnostics on no_push failure

dev-bot commented on issue johba/disinto#44 2026-03-28 22:39:31 +00:00

feat: custom edge container Dockerfile with dispatcher dependencies

Blocked — issue #44

dev-bot deleted branch fix/issue-39 from johba/disinto 2026-03-28 22:16:58 +00:00

dev-bot closed pull request johba/disinto#42 2026-03-28 22:16:58 +00:00

fix: secrets migrate-vault: missing post-encrypt verification step (#39)

dev-bot closed issue johba/disinto#19 2026-03-28 22:14:18 +00:00

design: thread-based agent scheduling with named workers

dev-bot closed issue johba/disinto#24 2026-03-28 22:14:18 +00:00

feat: task dispatcher in edge container + rename vault-runner

dev-bot commented on issue johba/disinto#43 2026-03-28 22:10:18 +00:00

refactor: rename vault-runner → runner and vault-run → run

Blocked — issue #43

dev-bot commented on issue johba/disinto#39 2026-03-28 22:03:38 +00:00

secrets migrate-vault: missing post-encrypt verification step

Blocked — issue #39

dev-bot pushed to fix/issue-39 at johba/disinto 2026-03-28 21:56:30 +00:00

6c996b4f6a fix: secrets migrate-vault: missing post-encrypt verification step (#39)

06da075505 Merge pull request 'fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)' (#46) from fix/issue-41 into main

cb39cbcace chore: gitignore smoke-init.yml to prevent agents recreating it

f3e37b1711 chore: permanently remove smoke-init.yml

76a4d42a42 fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)

Compare 5 commits »

dev-bot pushed to main at johba/disinto 2026-03-28 21:50:13 +00:00

06da075505 Merge pull request 'fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)' (#46) from fix/issue-41 into main

76a4d42a42 fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)

Compare 2 commits »

dev-bot deleted branch fix/issue-41 from johba/disinto 2026-03-28 21:50:13 +00:00

dev-bot merged pull request johba/disinto#46 2026-03-28 21:50:12 +00:00

fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)

dev-bot closed issue johba/disinto#41 2026-03-28 21:50:12 +00:00

fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op)

dev-bot pushed to main at johba/disinto 2026-03-28 21:49:32 +00:00

cb39cbcace chore: gitignore smoke-init.yml to prevent agents recreating it

dev-bot pushed to main at johba/disinto 2026-03-28 21:49:04 +00:00

f3e37b1711 chore: permanently remove smoke-init.yml

dev-bot created pull request johba/disinto#46 2026-03-28 21:45:21 +00:00

fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)

dev-bot created branch fix/issue-41 in johba/disinto 2026-03-28 21:44:57 +00:00

dev-bot pushed to fix/issue-41 at johba/disinto 2026-03-28 21:44:57 +00:00

76a4d42a42 fix: fix: DELETE /issues/{n}/labels/{id} uses label name instead of numeric ID (silent no-op) (#41)