Skip to content

Commit

Permalink
feat: add is-user-core-member helper to check core membership for PRs
Browse files Browse the repository at this point in the history
  • Loading branch information
nlahoty committed Sep 5, 2024
1 parent e465e40 commit 4b6ad2c
Show file tree
Hide file tree
Showing 20 changed files with 511 additions and 17,354 deletions.
24 changes: 24 additions & 0 deletions .github/workflows/is-user-core-member.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
name: Is User Core Member

on:
pull_request:
branches: [main]
paths:
- 'src/helpers/is-user-core-member.ts'

jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4

- uses: ./
id: is-user-core-member
with:
helper: is-user-core-member
pull_number: ${{ github.event.pull_request.number }}
login: ${{ github.actor }} # Optional, defaults to the GitHub actor
github_token: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}

- run: echo ${{ steps.is-user-core-member.outputs.output }}
4 changes: 4 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -189,6 +189,10 @@ Additionally, the following parameters can be used for additional control over t

- Creates a new in-progress Github "deployment" for a commit. More information on Github deployment events can be found [here](https://docs.github.com/en/rest/reference/repos#deployments)

### [is-user-core-member](.github/workflows/is-user-core-member.yml)

- Checks if a specified GitHub user is a core member for a given pull request.

### [is-user-in-team](.github/workflows/is-user-in-team.yml)

- Checks if the specifed GitHub user exists within an organization team
Expand Down
4 changes: 2 additions & 2 deletions dist/153.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 5 additions & 5 deletions dist/431.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

194 changes: 97 additions & 97 deletions dist/445.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion dist/445.index.js.map

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion dist/465.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion dist/533.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

10 changes: 5 additions & 5 deletions dist/676.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions dist/79.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion dist/79.index.js.map

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion dist/839.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion dist/905.index.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 4b6ad2c

Please sign in to comment.