Fix #1994: push via mcpbrcpropose and fix auto-filter ref collision - #2002

Merged

jwbron merged 2 commits into

mainfrom

egg/issue-1994-brc-propose-push

Apr 24, 2026

Commits on Apr 24, 2026

Fix #1994: add push step to mcp__brc__propose; push by SHA in filtered_push
jwbron
committed
df74e75
Address review feedback: propagate push errors, assert last_tip, add comment
egg-reviewer[bot]
committed
03ea17f