Remove dead code from push_empty_patch

No match.