Consolidate and run upstream Mike synchronizers - #41

Merged

github-actions[bot] merged 8 commits into

mainfrom

agent/consolidate-upstream-synchronizers

Jul 29, 2026

Commits on Jul 29, 2026

Remove duplicate low-risk Mike synchronizer
ranade-oss
committed
a4b86f1
Remove duplicate synchronizer documentation
ranade-oss
committed
5ecc498
Remove duplicate synchronizer regression test
ranade-oss
committed
1a62a1e
Remove duplicate upstream synchronization ledger
ranade-oss
committed
4c9f192
Remove duplicate upstream synchronization cursor
ranade-oss
committed
02a6679
Add ordered upstream synchronization runner
ranade-oss
committed
6be8919
Fix ordered synchronizer PR discovery
ranade-oss
committed
fc6b482
Request immediate ordered Mike synchronization
ranade-oss
committed
92eeabc