Skip to content

Commit

Permalink
12312
Browse files Browse the repository at this point in the history
  • Loading branch information
mo3et committed Jan 21, 2025
1 parent bc3d2b6 commit 1814b76
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/merge-PR-into-milestone.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,19 +11,19 @@ on:
milestone_name:
description: "Milestone name to collect closed PRs from"
required: true
default: "v3.8.3"
default: "v3.8.4"
target_branch:
description: "Target branch to merge the consolidated PR"
required: true
default: "pre-release-v3.8.3"
default: "pre-release-v3.8.4"

env:
MILESTONE_NAME: ${{ github.event.inputs.milestone_name || 'v3.8.3' }}
TARGET_BRANCH: ${{ github.event.inputs.target_branch || 'pre-release-v3.8.3' }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
BOT_TOKEN: ${{ secrets.BOT_TOKEN }}
LABEL_NAME: cherry-picked
TEMP_DIR: /tmp # Using /tmp as the temporary directory
TEMP_DIR: /tmp

jobs:
cherry_pick_milestone_prs:
Expand Down Expand Up @@ -130,4 +130,4 @@ jobs:
-d '{"labels": ["milestone-merge"]}' \
"https://api.github.com/repos/${{ github.repository }}/issues/$new_pr_number/labels"
fi
done
done

0 comments on commit 1814b76

Please sign in to comment.