mirror of
https://github.com/optim-enterprises-bv/vault.git
synced 2025-11-03 12:07:54 +00:00
backport of commit 34d1d200ee (#21675)
Co-authored-by: Violet Hynes <violet.hynes@hashicorp.com>
This commit is contained in:
committed by
GitHub
parent
d9489b8daf
commit
b46f39a001
28
.github/workflows/add-hashicorp-contributed-label.yml
vendored
Normal file
28
.github/workflows/add-hashicorp-contributed-label.yml
vendored
Normal file
@@ -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'
|
||||||
Reference in New Issue
Block a user