land #459 (2): make the contributor's merge commit reachable so the PR flips...
Your AI's guard dog to stop it from going rogue.
Brought to you by:
doberman
Menu
▾
▴
#497 land #459 (2): make the contributor's merge commit reachable so the PR flips to Merged
closed
nobody
None
2026-08-28
2026-08-28
Anonymous
No
Originally created by: fu351
Second landing branch for [#459] by @Maqbool61 (ADR 0080). [#494] landed their commits up to dd7f5ff; they then merged main into their branch (b7a287d), which GitHub does not see on main, so the PR did not flip to Merged. This branch is b7a287d merged with main, taking main's side of the one import conflict in src/doberman/cli/main.py (their merge had dropped the DASHBOARD_COMMAND and ActionType imports [#463]/#472 added, which is why their run went red). The resulting tree is identical to main; merging this with a merge commit only makes b7a287d reachable so [#459] shows as Merged with their credit.
Related
Ticket changed by: fu351