File tree Expand file tree Collapse file tree 3 files changed +6
-2
lines changed
Expand file tree Collapse file tree 3 files changed +6
-2
lines changed Original file line number Diff line number Diff line change 55echo " ====== PR Information ======\n" > $PR_FILE
66gh pr view $PR_NUMBER --json title,body --jq ' "Title: " + .title + "\nDescription: " + .body' >> $PR_FILE
77
8- # Include PR diffs
8+ # Add PR diffs
99echo -e " \n====== PR Diffs ======\n" >> $PR_FILE
1010gh pr diff $PR_NUMBER >> $PR_FILE
1111
Original file line number Diff line number Diff line change 11#! /bin/bash
2+
3+ # This was taken and modified from the terminal-bench-test folder.
4+
25set -e
36# if git hash empty then set to latest auto
47sudo apt-get update
Original file line number Diff line number Diff line change @@ -7,14 +7,15 @@ if [ ! -f "$PR_FILE" ]; then
77fi
88
99# Create branch before making any changes
10+ # Reset to remote branch if it exists
1011git fetch origin
1112git checkout -B " $BRANCH_NAME "
1213if git ls-remote --exit-code --heads origin " $BRANCH_NAME " > /dev/null 2>&1 ; then
1314 git reset --hard " origin/$BRANCH_NAME "
1415fi
1516
1617PROMPT=" Before making any changes, read the 'docs' directory for the project's current
17- documentation. Then read 'pr-contents.txt' to see the contents of the current PR.\n\n
18+ documentation. Then read 'pr-contents.txt' to see the contents of the current PR.\n
1819After reading both the directory and the PR file, update the files in the 'docs' directory
1920with new, concise documentation reflecting ONLY the proposed changes in the PR. Make new files as appropriate.
2021Do not document changes or functionalities not related to the PR."
You can’t perform that action at this time.
0 commit comments