silence warning on `git push`