@b0rk - have you seen this? You are my git-guru - what do you think about these settings?
@jromanowska the ones that he says should be the default mostly seem really reasonable, I use a lot of them. I’m not sure about the “Better fetching” ones though, it seems a bit scary to make git delete things more aggressively but I haven’t really thought about it in depth and maybe it’s fine