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

This reverts commit 70a87e73d0.

* ci: add a date prefix to the doc PR's name
This commit is contained in:
Axel Cocat
2022-07-06 16:03:51 +02:00
committed by GitHub
parent 70a87e73d0
commit bad5bb7e25

View File

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