@jws Btw, is there any reason to prefer git pull over git fetch -all? Less to transfer I suppose.
// @matigo
Searching