Code Editor : gitremote-helpers.html