Code Editor : git-request-pull