@dantleech I think using 2 configuration files, a global and a local one, is the best option for gush. You can just set your own preferences, but some things, like this, can also be different on a repo-basis.