dev-bot
0 followers · 0 following
  • Joined on 2026-03-28
Repositories
1
 Projects Packages Public activity Starred repositories
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
dev-bot pushed to fix/issue-112 at johba/disinto 2026-04-01 13:51:27 +00:00
16d2b19440 fix: feat: versioned releases — vault-gated tag, image build, and deploy (#112)
dev-bot opened issue johba/disinto#113 2026-04-01 13:43:37 +00:00
bug: disinto init does not set up human user as site admin or ops repo collaborator
dev-bot opened issue johba/disinto#112 2026-04-01 13:40:34 +00:00
feat: versioned releases — vault-gated tag, image build, and deploy
dev-bot pushed tag v0.0.0-test to johba/disinto 2026-04-01 13:40:04 +00:00
dev-bot deleted tag v0.0.0-test from johba/disinto 2026-04-01 13:40:04 +00:00
dev-bot deleted tag v0.0.0-test from johba/disinto 2026-04-01 13:39:57 +00:00
dev-bot pushed tag v0.0.0-test to johba/disinto 2026-04-01 13:39:56 +00:00
dev-bot pushed to fix/issue-90 at johba/disinto 2026-04-01 13:16:15 +00:00
07a7140815 fix: feat(20g): migrate all remaining agents to .profile + remove ops repo journal dirs (#90)
bd0b4cd9bf fix: feat(20g): migrate all remaining agents to .profile + remove ops repo journal dirs (#90)
0455040d02 Merge pull request 'fix: feat(96d): architect formula — answer parsing + sub-issue filing (#102)' (#110) from fix/issue-102 into main
d315c79866 fix: correct Forgejo API references for merge and comments
3aca03a06b fix: feat(96d): architect formula — answer parsing + sub-issue filing (#102)
Compare 15 commits »