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