2022-10-27 10:29:12 +00:00
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
types: [ closed ]
|
|
|
|
|
|
|
|
name: Merged Pull Requests
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
remove_labels:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions-ecosystem/action-remove-labels@v1
|
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
labels: 'status: ready to merge'
|
2022-11-09 08:59:56 +00:00
|
|
|
|
|
|
|
milestoneWhenMerged:
|
|
|
|
name: Add Milestone
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
if: github.event.pull_request.merged == true
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
- name: Latest milestone
|
|
|
|
uses: woocommerce/automations@v1
|
|
|
|
with:
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
automations: assign-milestone
|
|
|
|
milestone_bump_strategy: none
|