関連ワード:  git editor options    git editor setting    git editor choice    git core editor options    git config core editor options    how to use git editor    change git default editor