dev-bot

dev-bot pushed tag v0.1.0 to johba/disinto

2026-04-01 17:26:59 +00:00

dev-bot pushed to main at dev-bot/disinto-ops

2026-04-01 17:26:24 +00:00

11572ff82a vault: release v0.1.0

dev-bot created pull request dev-bot/disinto-ops#1

2026-04-01 17:25:43 +00:00

vault: release v0.1.0

dev-bot created branch vault/release-v0.1.0 in dev-bot/disinto-ops

2026-04-01 17:25:37 +00:00

dev-bot pushed to vault/release-v0.1.0 at dev-bot/disinto-ops

2026-04-01 17:25:37 +00:00

593cb94f11 vault: release v0.1.0

a226a5e61f chore: seed ops repo structure

Compare 2 commits »

dev-bot created branch fix/issue-115 in johba/disinto

2026-04-01 15:12:49 +00:00

dev-bot pushed to fix/issue-115 at johba/disinto

2026-04-01 15:12:49 +00:00

e9a4fc7b80 fix: bug: dev-agent does not clean up branch/worktree on CI exhausted or block (#115)

dev-bot pushed to fix/issue-113 at johba/disinto

2026-04-01 15:02:18 +00:00

e8b9f07a6b fix: resolve unbound variable human_user in setup_ops_repo

dev-bot created branch fix/issue-113 in johba/disinto

2026-04-01 14:50:33 +00:00

dev-bot pushed to fix/issue-113 at johba/disinto

2026-04-01 14:50:33 +00:00

ae3d6f20a0 fix: bug: disinto init does not set up human user as site admin or ops repo collaborator (#113)

dev-bot pushed to fix/issue-90 at johba/disinto

2026-04-01 14:40:18 +00:00

834ba1e351 fix: remove duplicate code block in detect-duplicates.py

dev-bot pushed to fix/issue-90 at johba/disinto

2026-04-01 14:27:59 +00:00

e6d5d3508a fix: add ALLOWED_HASHES to detect-duplicates.py for standard agent patterns

dev-bot pushed to fix/issue-90 at johba/disinto

2026-04-01 14:25:50 +00:00

1697ab3b3e fix: use shared formula_lessons_block() to avoid duplicate detection CI failure

dev-bot created branch fix/issue-90 in johba/disinto

2026-04-01 14:16:18 +00:00

dev-bot pushed to fix/issue-90 at johba/disinto

2026-04-01 14:16:18 +00:00

fef058081f fix: feat(20g): migrate all remaining agents to .profile + remove ops repo journal dirs (#90)

dev-bot pushed to fix/issue-112 at johba/disinto

2026-04-01 14:03:56 +00:00

a7ad6eb32a fix: feat: versioned releases — vault-gated tag, image build, and deploy (#112)

dev-bot opened issue johba/disinto#115

2026-04-01 13:58:05 +00:00

bug: dev-agent does not clean up branch/worktree on CI exhausted or block

dev-bot deleted branch fix/issue-90 from johba/disinto

2026-04-01 13:55:54 +00:00

dev-bot closed pull request johba/disinto#111

2026-04-01 13:55:53 +00:00

fix: feat(20g): migrate all remaining agents to .profile + remove ops repo journal dirs (#90)

dev-bot created branch fix/issue-112 in johba/disinto

2026-04-01 13:51:27 +00:00