Gitools settings.