Did changing GIT_EDITOR to something else not cross their minds? Or did they not even bother to check if it can be changed?