.gitconfig: not sure how push.default = simple snuck in there

Doesn't work on all versions of git.

Change-Id: Id3087244bcd16a34e54df196dd8634f5a735af47
Merge ".gitconfig: not sure how push.default = simple snuck in there" into production