backport of commit 34d1d200ee5e5547779ee8424c52bb7cf4dcb772 (#21676)
Co-authored-by: Violet Hynes <violet.hynes@hashicorp.com>
This commit is contained in:
parent
37dcc37e81
commit
9d1592cc93
|
@ -0,0 +1,28 @@
|
|||
name: Add HashiCorp contributed label
|
||||
|
||||
# The purpose of this job is to label all HashiCorp contributed PRs, so that
|
||||
# we can more easily identify community contributed PRs (anything that doesn't
|
||||
# have this label).
|
||||
# While it might seem like this is the 'reverse' of what we should do, GitHub
|
||||
# (rightly) does not allow branches from forks to have write permissions, so
|
||||
# making PRs from forks self-label themselves as community-contributed is not
|
||||
# possible.
|
||||
|
||||
on:
|
||||
pull_request:
|
||||
types: [opened, synchronize, reopened]
|
||||
# Runs on PRs to main
|
||||
branches:
|
||||
- main
|
||||
|
||||
jobs:
|
||||
add-hashicorp-contributed-label:
|
||||
# Only run if this is NOT coming from a fork of Vault (if this is not true, it's community contributed)
|
||||
if: ${{ github.event.pull_request.head.repo.full_name == github.event.pull_request.base.repo.full_name }}
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: "Add label to PR"
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
PR: ${{ github.event.pull_request.html_url }}
|
||||
run: gh pr edit "$PR" --add-label 'hashicorp-contributed-pr'
|
Loading…
Reference in New Issue