mirror of
https://gitee.com/element-plus/element-plus.git
synced 2024-12-15 01:41:20 +08:00
fe762f33cc
- New workflow to make bot greets to the user contributing to this repo
26 lines
939 B
YAML
26 lines
939 B
YAML
name: PR Open Greeting
|
|
|
|
on:
|
|
pull_request:
|
|
types: [opened]
|
|
|
|
jobs:
|
|
pr-open-greeting:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions-cool/check-user-permission@v2
|
|
id: isTeamMember
|
|
with:
|
|
require: 'write'
|
|
- uses: actions-awesome/pr-helper@1.0.15
|
|
if: steps.isTeamMember.outputs.require-result == 'false'
|
|
with:
|
|
actions: 'add-assignees, add-reviewers, greeting, add-labels'
|
|
assignees: 'element-plus/backers'
|
|
reviewers: 'element-plus/backers'
|
|
labels: 'Contribution::Community'
|
|
token: ${{ github.token }}
|
|
pr-number: ${{ github.event.pull_request.number }}
|
|
greeting-message: 'Hello %user%, thank you for contributing to %repo%, please see our [guideline](%guideline%) to see how to make contribution'
|
|
greeting-guideline-address: 'https://github.com/element-plus/element-plus/blob/dev/CONTRIBUTING.md'
|