Skip to content

Commit

Permalink
Various fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
Panquesito7 committed Sep 28, 2023
1 parent 4469e7b commit 50d4849
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -141,14 +141,14 @@ runs:
for branch in ${BRANCHES[@]}; do
# Obtain the PR body and adjust it to the updated subtree.
REPO_NAME=${branch%-update}
PR_BODY=$(bash ${{ github.action_path }}/src/tools/markdown_pr_body.sh "updated" "true" "${{ github.action_path }}" "$repo_name")
PR_BODY=$(bash ${{ github.action_path }}/src/tools/markdown_pr_body.sh "updated" "true" "${{ github.action_path }}" "$REPO_NAME")
# Create the PR with the given data.
gh pr create --base ${GITHUB_REF##*/} --head $branch --title 'Bump `'$repo_name'` to its latest commit' --body "$PR_BODY" || true
gh pr create --base ${GITHUB_REF##*/} --head $branch --title 'Bump `'$REPO_NAME'` to its latest commit' --body "$PR_BODY" || true
# Edit the newly created PR by adding the specific labels.
if [[ $(gh pr list --base ${GITHUB_REF##*/} --head $branch) ]]; then
PR_NUMBER=$(bash ${{ github.action_path }}/src/tools/pr_number.sh ${GITHUB_REF##*/} "$branch")
PR_NUMBER=$(bash ${{ github.action_path }}/src/tools/pr_number.sh ${GITHUB_REF##*/} $branch)
gh pr edit $PR_NUMBER --add-label "$LABELS_UPDATE" || true
fi
done
Expand Down

0 comments on commit 50d4849

Please sign in to comment.