.github: add dashboard PRs to Dashboard project

This action automatically adds PRs with 'dashboard' label to the
'Dashboard' project (https://github.com/ceph/ceph/projects/6).

Signed-off-by: Ernesto Puerta <epuertat@redhat.com>
This commit is contained in:
Ernesto Puerta 2021-10-08 18:43:25 +02:00
parent ab706abeef
commit ed55c527f1
No known key found for this signature in database
GPG Key ID: B4F6FFCB7A8384ED

View File

@ -1,15 +1,24 @@
---
name: "Pull Request Triage"
on: pull_request_target
env:
MY_GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
jobs:
pr-triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@9794b1493b6f1fa7b006c5f8635a19c76c98be95
- name: Assign labels based on modified files
uses: actions/labeler@9794b1493b6f1fa7b006c5f8635a19c76c98be95
with:
sync-labels: ''
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- uses: iyu/actions-milestone@dbf7e5348844c9ddc6b803a5721b85fa70fe3bb9
- name: Assign milestone based on target brach name
uses: iyu/actions-milestone@dbf7e5348844c9ddc6b803a5721b85fa70fe3bb9
with:
configuration-path: .github/milestone.yml
repo-token: "${{ secrets.GITHUB_TOKEN }}"
- name: Assign to Dashboard project
uses: srggrs/assign-one-project-github-action@65a8ddab497df42ef268001e67bbf976f8fd39e1
if: contains(github.event.pull_request.labels.*.name, 'dashboard')
with:
project: https://github.com/ceph/ceph/projects/6