change git push to matching for older gits