ci: add a date prefix to the doc PR's name (#53)

This commit is contained in:
Axel Cocat
2022-07-06 15:57:27 +02:00
committed by GitHub
parent bba97491f9
commit 70a87e73d0

View File

@@ -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"