fix for git push matching