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