mirror of
https://github.com/tiennm99/ccs.git
synced 2026-10-11 03:13:12 +00:00
Git passes refs on stdin; deletes have local-sha = 40 zeros. Running the full parity gate just to delete an already-merged branch wastes ~90s per cleanup. Guard short-circuits when every ref being pushed is a delete.