From bad5bb7e253ae86b85a50464ad8dfe4d28201d80 Mon Sep 17 00:00:00 2001 From: Axel Cocat Date: Wed, 6 Jul 2022 16:03:51 +0200 Subject: [PATCH] fix #53 (#54) * Revert "ci: add a date prefix to the doc PR's name (#53)" This reverts commit 70a87e73d0a520cd72f310a00b547bc01c3f9f98. * ci: add a date prefix to the doc PR's name --- .github/workflows/create-pr.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/create-pr.sh b/.github/workflows/create-pr.sh index 341672c..3ae8fba 100644 --- a/.github/workflows/create-pr.sh +++ b/.github/workflows/create-pr.sh @@ -7,11 +7,12 @@ export GITHUB_TOKEN=$API_TOKEN_GITHUB git config --global user.email "$USER_EMAIL" git config --global user.name "$USER_NAME" +date=$(date '+%Y-%m-%d_%H-%M') +DESTINATION_HEAD_BRANCH="$DESTINATION_HEAD_BRANCH-$date" + echo "Cloning destination git repository" git clone "https://$API_TOKEN_GITHUB@github.com/$DESTINATION_REPO.git" "$CLONE_DIR" cd "$CLONE_DIR" -date=$(date '+%Y-%m-%d_%H-%M') -DESTINATION_BASE_BRANCH="$DESTINATION_BASE_BRANCH-$date" git checkout "$DESTINATION_BASE_BRANCH" git pull origin "$DESTINATION_BASE_BRANCH" git checkout -b "$DESTINATION_HEAD_BRANCH"