ci: use gpg to sign commit [skip ci]

This commit is contained in:
Baptiste Augrain
2025-01-08 04:03:35 +01:00
parent 6818d7e831
commit 13cedd5950
8 changed files with 38 additions and 15 deletions

View File

@@ -16,12 +16,20 @@ git add .
CHANGES=$( git status --porcelain )
if [[ -n "${CHANGES}" ]]; then
COMMIT_MESSAGE="build(${VSCODE_QUALITY}): update to commit ${MS_COMMIT:0:7}"
COMMIT_REF=$( git rev-parse --abbrev-ref HEAD )
# COMMIT_MESSAGE="build(${VSCODE_QUALITY}): update to commit ${MS_COMMIT:0:7}"
# COMMIT_REF=$( git rev-parse --abbrev-ref HEAD )
if [[ "${GITHUB_ENV}" ]]; then
echo "SHOULD_COMMIT=yes" >> "${GITHUB_ENV}"
echo "COMMIT_MESSAGE=${COMMIT_MESSAGE}" >> "${GITHUB_ENV}"
echo "COMMIT_REF=${COMMIT_REF}" >> "${GITHUB_ENV}"
# if [[ "${GITHUB_ENV}" ]]; then
# echo "SHOULD_COMMIT=yes" >> "${GITHUB_ENV}"
# echo "COMMIT_MESSAGE=${COMMIT_MESSAGE}" >> "${GITHUB_ENV}"
# echo "COMMIT_REF=${COMMIT_REF}" >> "${GITHUB_ENV}"
# fi
git commit -S -m "build(${VSCODE_QUALITY}): update to commit ${MS_COMMIT:0:7}"
BRANCH_NAME=$( git rev-parse --abbrev-ref HEAD )
if ! git push origin "${BRANCH_NAME}" --quiet; then
git pull origin "${BRANCH_NAME}"
git push origin "${BRANCH_NAME}" --quiet
fi
fi