Fix gitconfig.

Remove push option incompatible with older git versions.
Remove hard coded gitignore path.