How to change your Git editor