own dotfiles: don't set push.default=simple in .gitconfig (unsupported)

Change-Id: Ifabb0cb0056a54d13fae75c97bfd80309fbd7c1f
Merge "own dotfiles: don't set push.default=simple in .gitconfig (unsupported)" into production