Another magit setting