didn't we make this a global setting (e.g. we had the same for github?)