Code Editor : git-update-server-info