some extra config for git push/pull