mirror of
https://github.com/nodejs/node.git
synced 2025-08-15 13:48:44 +02:00
tools: do not throw on missing create-release-proposal.sh
PR-URL: https://github.com/nodejs/node/pull/56704 Reviewed-By: James M Snell <jasnell@gmail.com> Reviewed-By: Tierney Cyren <hello@bnb.im> Reviewed-By: Rafael Gonzaga <rafael.nunu@hotmail.com>
This commit is contained in:
parent
ad39367712
commit
e039f2b571
1 changed files with 2 additions and 5 deletions
|
@ -71,13 +71,10 @@ jobs:
|
|||
git config --local user.name "Node.js GitHub Bot"
|
||||
|
||||
- name: Start git node release prepare
|
||||
# `git update-index` tells git to ignore future changes to the `.sh` file,
|
||||
# `|| true` is there to ignore the error if such file doesn't exist yet.
|
||||
# The curl command is to make sure we run the version of the script corresponding to the current workflow.
|
||||
run: |
|
||||
git update-index --assume-unchanged tools/actions/create-release-proposal.sh || true
|
||||
curl -fsSLo tools/actions/create-release-proposal.sh https://github.com/${GITHUB_REPOSITORY}/raw/${GITHUB_SHA}/tools/actions/create-release-proposal.sh
|
||||
./tools/actions/create-release-proposal.sh "${RELEASE_DATE}" "${RELEASE_LINE}" "${GITHUB_ACTOR}"
|
||||
curl -fsSL https://github.com/${GITHUB_REPOSITORY}/raw/${GITHUB_SHA}/tools/actions/create-release-proposal.sh |\
|
||||
sh -s -- "${RELEASE_DATE}" "${RELEASE_LINE}" "${GITHUB_ACTOR}"
|
||||
env:
|
||||
GH_TOKEN: ${{ github.token }}
|
||||
# We want the bot to push the push the release commit so CI runs on it.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue