We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e0e6c5a commit 810ded3Copy full SHA for 810ded3
docs-generation/update-docs.sh
@@ -7,9 +7,10 @@ if [ ! -f "$PR_FILE" ]; then
7
fi
8
9
# Create branch before making any changes
10
+git fetch origin
11
git checkout -B "$BRANCH_NAME"
-if git ls-remote --exit-code --heads origin $BRANCH_NAME; then
12
- git reset --hard origin/$BRANCH_NAME
+if git ls-remote --exit-code --heads origin "$BRANCH_NAME" >/dev/null 2>&1; then
13
+ git reset --hard "origin/$BRANCH_NAME"
14
15
16
PROMPT="Before making any changes, read the 'docs' directory for the project's current
0 commit comments