stop using git-gutter for now