Choosing The Default Editor Used By Gitlab