mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-25 00:12:08 +08:00
Nicola Soranzo
c01d2fe6b4
Fix the following error: ``` The workflow is not valid. .github/workflows/maintenance_bot.yaml: (Line: 14, Col: 13, Idx: 253) - (Line: 14, Col: 14, Idx: 254): While parsing a tag, did not find expected tag URI. ```
35 lines
1.1 KiB
YAML
35 lines
1.1 KiB
YAML
name: "Maintenance Bot"
|
|
on:
|
|
pull_request_target:
|
|
types: [opened, reopened]
|
|
|
|
jobs:
|
|
labeler:
|
|
name: Assign labels and milestone
|
|
runs-on: ubuntu-latest
|
|
env:
|
|
MILESTONE_NUMBER: 18
|
|
steps:
|
|
- name: Add area labels
|
|
if: ${{ ! contains(join(github.event.pull_request.labels.*.name, ', '), 'area/') }}
|
|
uses: actions/labeler@main
|
|
with:
|
|
repo-token: "${{ secrets.GITHUB_TOKEN }}"
|
|
- name: Assign milestone
|
|
if: |
|
|
! github.event.pull_request.milestone &&
|
|
! contains(github.event.pull_request.labels.*.name, 'merge') &&
|
|
! contains(github.event.pull_request.labels.*.name, 'status/WIP') &&
|
|
! contains(github.event.pull_request.title, 'WIP') &&
|
|
! github.event.pull_request.draft
|
|
uses: actions/github-script@v3
|
|
with:
|
|
github-token: ${{ secrets.GITHUB_TOKEN }}
|
|
script: |
|
|
github.issues.update({
|
|
owner: context.repo.owner,
|
|
repo: context.repo.repo,
|
|
issue_number: context.issue.number,
|
|
milestone: ${{ env.MILESTONE_NUMBER }},
|
|
});
|