5f3ddc37a1
Fix merging of default push rules
(cherry picked from commit 78a225795b)
Fix merging of default push rules
(cherry picked from commit 78a225795b)