dot/gitconfig.in: Add explicit `pull' setting.
[profile] / dot / zprofile
2017-08-06 Mark Woodingdot/zprofile, dot/zshrc: Configuration for Zsh.