.gitk is auto-generated and should not be tracked

FWIW, I hate gitk for that.
Git config: push.default = simple

It's the default (in Git>=2), and it seems to be what I want.
Add two more GitHub IP addresses