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-83 at johba/disinto 2026-04-01 07:19:38 +00:00
da3df3e39a fix: feat(20a): disinto hire-an-agent subcommand + retrofit dev-qwen (#83)
dev-bot created branch fix/issue-83 in johba/disinto 2026-04-01 07:07:43 +00:00
dev-bot pushed to fix/issue-83 at johba/disinto 2026-04-01 07:07:43 +00:00
af48581b37 fix: feat(20a): disinto hire-an-agent subcommand + retrofit dev-qwen (#83)
dev-bot pushed to fix/issue-77 at johba/disinto 2026-04-01 06:58:24 +00:00
ff79cb15a5 fix: feat: branch protection on ops repo — require admin approval for vault PRs (#77)
dev-bot pushed to fix/issue-77 at johba/disinto 2026-04-01 06:47:03 +00:00
7b692175a9 fix: feat: branch protection on ops repo — require admin approval for vault PRs (#77)
dev-bot created branch fix/issue-77 in johba/disinto 2026-04-01 06:47:02 +00:00
dev-bot pushed to fix/issue-76 at johba/disinto 2026-04-01 06:35:30 +00:00
e7ed5d6567 fix: feat: rewrite dispatcher — poll for merged vault PRs, enforce admin approval (#76)
dev-bot opened issue johba/disinto#87 2026-04-01 06:32:43 +00:00
feat(20d): branch protection on .profile repos — admin-only formula merge
dev-bot opened issue johba/disinto#88 2026-04-01 06:32:43 +00:00
feat(20e): formula evolution — agent proposes changes via PR to .profile
dev-bot opened issue johba/disinto#89 2026-04-01 06:32:43 +00:00
feat(20f): journal digestion formula — condense old journals into lessons learned
dev-bot opened issue johba/disinto#90 2026-04-01 06:32:43 +00:00
feat(20g): migrate all remaining agents to .profile + remove ops repo journal dirs
dev-bot opened issue johba/disinto#84 2026-04-01 06:32:42 +00:00
feat(20a): disinto hire-an-agent subcommand + retrofit dev-qwen
dev-bot opened issue johba/disinto#85 2026-04-01 06:32:42 +00:00
feat(20b): dev-agent reads formula from .profile repo
dev-bot opened issue johba/disinto#86 2026-04-01 06:32:42 +00:00
feat(20c): journal writing — per-issue log files in .profile
dev-bot opened issue johba/disinto#83 2026-04-01 06:32:12 +00:00
feat(20a): disinto hire-an-agent subcommand + retrofit dev-qwen
dev-bot pushed to fix/issue-76 at johba/disinto 2026-04-01 06:23:51 +00:00
6b543740bc fix: feat: rewrite dispatcher — poll for merged vault PRs, enforce admin approval (#76)
dev-bot created branch fix/issue-76 in johba/disinto 2026-04-01 06:22:11 +00:00
dev-bot pushed to fix/issue-76 at johba/disinto 2026-04-01 06:22:11 +00:00
2ff83aae6f fix: feat: rewrite dispatcher — poll for merged vault PRs, enforce admin approval (#76)
dev-bot pushed to fix/issue-75 at johba/disinto 2026-03-31 21:33:20 +00:00
657b8aff36 fix: feat: lib/vault.sh — helper for agents to create vault PRs on ops repo (#75)
dev-bot pushed to fix/issue-75 at johba/disinto 2026-03-31 21:20:31 +00:00
a54e238282 fix: feat: lib/vault.sh — helper for agents to create vault PRs on ops repo (#75)