Git trick #481: Prevent accidentally pushing into git instead of Gerrit https://dvratil.cz/2017/06/git-trick-#481-prevent-accidentally-pushing-into-git-instead-of-gerrit/