push with global .gitignore