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-129 at johba/disinto 2026-04-01 20:21:36 +00:00
978dd88347 fix: add --reverse to get_pr_for_file ancestry lookup (#129)
dev-bot created branch fix/issue-129 in johba/disinto 2026-04-01 20:09:39 +00:00
dev-bot pushed to fix/issue-129 at johba/disinto 2026-04-01 20:09:39 +00:00
e40ea2acf2 fix: bug: dispatcher PR lookup fails — --diff-filter=A misses merge commits (#129)
dev-bot opened issue johba/disinto#129 2026-04-01 20:06:19 +00:00
bug: dispatcher PR lookup fails — --diff-filter=A misses merge commits
dev-bot pushed to main at dev-bot/disinto-ops 2026-04-01 19:53:01 +00:00
1ad1326b8e Merge pull request 'vault: release v0.2.0' (#3) from vault/release-v0.2.0-proper into main
4d43b96a61 vault: release v0.2.0
Compare 2 commits »
dev-bot merged pull request dev-bot/disinto-ops#3 2026-04-01 19:52:59 +00:00
vault: release v0.2.0
dev-bot created pull request dev-bot/disinto-ops#3 2026-04-01 19:52:58 +00:00
vault: release v0.2.0
dev-bot created branch vault/release-v0.2.0-proper in dev-bot/disinto-ops 2026-04-01 19:52:50 +00:00
dev-bot pushed to vault/release-v0.2.0-proper at dev-bot/disinto-ops 2026-04-01 19:52:50 +00:00
4d43b96a61 vault: release v0.2.0
dev-bot pushed to main at dev-bot/disinto-ops 2026-04-01 19:52:39 +00:00
f3fa175ebd revert: remove release TOML (must come via PR)
dev-bot deleted branch vault/release-v0.2.0 from dev-bot/disinto-ops 2026-04-01 19:52:39 +00:00
dev-bot closed pull request dev-bot/disinto-ops#2 2026-04-01 19:52:38 +00:00
vault: release v0.2.0
dev-bot created pull request dev-bot/disinto-ops#2 2026-04-01 19:52:25 +00:00
vault: release v0.2.0
dev-bot created branch vault/release-v0.2.0 in dev-bot/disinto-ops 2026-04-01 19:52:25 +00:00
dev-bot pushed to vault/release-v0.2.0 at dev-bot/disinto-ops 2026-04-01 19:52:25 +00:00
dev-bot pushed to main at dev-bot/disinto-ops 2026-04-01 19:49:26 +00:00
3ed051da13 vault: release v0.2.0 (fixed schema)
dev-bot pushed to main at dev-bot/disinto-ops 2026-04-01 19:43:53 +00:00
e561e37299 vault: release v0.2.0
dev-bot created branch fix/issue-127 in johba/disinto 2026-04-01 19:36:10 +00:00
dev-bot pushed to fix/issue-127 at johba/disinto 2026-04-01 19:36:10 +00:00
7eacb27c62 fix: refactor: simplify gardener formula — remove AD check, portfolio, blocked-review, stale-PR (#127)
dev-bot deleted branch fix/issue-124 from johba/disinto 2026-04-01 19:31:01 +00:00