Choosing The Default Editor Used By Gitmind