From 70a87e73d0a520cd72f310a00b547bc01c3f9f98 Mon Sep 17 00:00:00 2001 From: Axel Cocat Date: Wed, 6 Jul 2022 15:57:27 +0200 Subject: [PATCH] ci: add a date prefix to the doc PR's name (#53) --- .github/workflows/create-pr.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/create-pr.sh b/.github/workflows/create-pr.sh index 3788970..341672c 100644 --- a/.github/workflows/create-pr.sh +++ b/.github/workflows/create-pr.sh @@ -10,6 +10,8 @@ git config --global user.name "$USER_NAME" 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"