Fix auto-sync remaining enabled after PR merge - #162

Open

0101 wants to merge 2 commits into

mainfrom

auto-sync-not-deactivated-after-merge

Commits on Aug 3, 2026

Fix auto-sync remaining enabled after merge
0101
committed
9794193
Merge commit 'a9aebb3c221a82f207e63717677d56e105803cdd' into auto-sync-not-deactivated-after-merge
0101
committed
3f88272