Code Editor : git_manager.php