dot/gitconfig.in: Add explicit `pull' setting.
[profile] / dot / parallel-hosts
2020-05-17 Mark Woodingdot/parallel-hosts: Add missing entry for `mango'.
2020-05-17 Mark Woodingdot/parallel-hosts: Introduce `@root' group for all...
2020-05-08 Mark Woodingdot/parallel-hosts: A useful SSH hosts file for GNU...