git/config
2017-10-06 15:19:22 +11:00
..
git Set push.default to simple, to avoid warnings about the default changing when running slightly older Git versions 2017-10-06 15:19:22 +11:00