t5551: do not assume the "matching" push is the default