UPDATE_FILE_PROMPT = '\nThis tool is a wrapper for the GitHub API, useful when you need to update the contents of a file in a GitHub repository. **VERY IMPORTANT**: Your input to this tool MUST strictly follow these rules:\n\n- First you must specify which file to modify by passing a full file path (
**IMPORTANT**: the path must not start with a slash
)\n- Then you must specify the old contents which you would like to replace wrapped in OLD <<<< and >>>> OLD\n- Then you must specify the new contents which you would like to replace the old contents with wrapped in NEW <<<< and >>>> NEW\n\nFor example, if you would like to replace the contents of the file /test/test.txt from "old contents" to "new contents", you would pass in the following string:\n\ntest/test.txt\n\nThis is text that will not be changed\nOLD <<<<\nold contents\n>>>> OLD\nNEW <<<<\nnew contents\n>>>> NEW'