disinto

History

Agent 02a2c139a5 All checks were successful ci/woodpecker/push/ci Pipeline was successful Details ci/woodpecker/pr/ci Pipeline was successful Details fix: dispatcher.sh: \|\| true suppresses errors in get_pr_merger / get_pr_reviews, making error handlers dead code (#189 )		2026-04-05 13:49:34 +00:00
..
dispatcher.sh	fix: dispatcher.sh: \|\| true suppresses errors in get_pr_merger / get_pr_reviews, making error handlers dead code (#189 )	2026-04-05 13:49:34 +00:00
Dockerfile	fix: bug: dispatcher fails in edge container — lib/env.sh not available (#119 )	2026-04-01 17:58:04 +00:00
entrypoint-edge.sh	fix: bug: dispatcher PR lookup fails — --diff-filter=A misses merge commits (#129 )	2026-04-01 20:09:34 +00:00