chore: remove github auto assign
This was supposed to auto-assign reviewers to new PRs. However, it's really not all that helpful in practice.
Steven Allen committed
Jan 13, 2020 at 15:09 UTC
ea3343cb29e13f50b401e776b89628505938c58f
2 files changed
-39
.github/auto_assign.yml
deleted
-27
@@ -1,27 +0,0 @@
1
-# Set to true to add reviewers to pull requests
2
-addReviewers: true
3
-
4
-# Set to true to add assignees to pull requests
5
-addAssignees: false
6
-
7
-# A list of reviewers to be added to pull requests (GitHub user name)
8
-reviewers:
9
- - Stebalien
10
- - djdv
11
- - aschmahmann
12
- - dirkmc
13
- - lanzafame
14
- - hsanjuan
15
-
16
-# A number of reviewers added to the pull request
17
-# Set 0 to add all the reviewers (default: 0)
18
-numberOfReviewers: 1
19
-
20
-# A list of assignees, overrides reviewers if set
21
-# assignees:
22
-# - assigneeA
23
-
24
-# A list of keywords to be skipped the process that add reviewers if pull requests include it
25
-skipKeywords:
26
- - WIP
27
- - RFC
.github/workflows/pull_request.yml
deleted
-12
@@ -1,12 +0,0 @@
1
-on: pull_request
2
-name: Add reviewers/assignees to Pull Requests
3
-jobs:
4
- autoAssign:
5
- name: Auto Assign
6
- runs-on: ubuntu-latest
7
- steps:
8
- - uses: actions/checkout@master
9
- - name: Auto Assign
10
- uses: ipfs/auto-assign@v1.0.0
11
- env:
12
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}