diminish magit-auto-revert-mode