Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 18 additions & 0 deletions .github/workflows/label_new_prs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: Label New Pull Requests

on:
pull_request_target:
types: [opened, reopened]

jobs:
label-new-prs:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Update pr labels
run: gh pr edit "$NUMBER" --add-label "waiting-on-maintainers"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
NUMBER: ${{ github.event.pull_request.number }}
34 changes: 34 additions & 0 deletions .github/workflows/responded.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
name: Contributor Responded
on:
issue_comment:
types: [created, edited]

jobs:
add-reponded-to-issue:
# Check if an issue waiting for a contributor response has been responded to by a non-owner/non-maintainer
if: ${{ !github.event.issue.pull_request && contains(github.event.issue.labels.*.name, 'response-requested') && !contains(fromJson('["OWNER", "MEMBER"]'), github.event.comment.author_association) }}
runs-on: ubuntu-latest
permissions:
issues: write
steps:
- name: Add issue labels
run: gh issue edit "$NUMBER" --add-label "waiting-on-maintainers" --remove-label "response-requested,closing-soon"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
NUMBER: ${{ github.event.issue.number }}
add-reponded-to-pr:
# Check if a PR waiting for a contributor response has been responded to by a non-owner/non-maintainer
if: ${{ github.event.issue.pull_request && contains(github.event.issue.labels.*.name, 'response-requested') && !contains(fromJson('["OWNER", "MEMBER"]'), github.event.comment.author_association) }}
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- name: Update pr labels
run: gh pr edit "$NUMBER" --add-label "waiting-on-maintainers" --remove-label "response-requested,no-pr-activity"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GH_REPO: ${{ github.repository }}
NUMBER: ${{ github.event.issue.number }}


30 changes: 30 additions & 0 deletions .github/workflows/stale_prs_and_issues.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
name: 'Check stale issues/PRs.'
on:
schedule:
# Run every hour on the hour
- cron: '0 * * * *'

jobs:
stale-review-stage:
runs-on: ubuntu-latest
steps:
- uses: actions/stale@v9
with:
debug-only: false
repo-token: ${{ secrets.GITHUB_TOKEN }}

days-before-stale: 5
days-before-close: 10

stale-issue-message: 'Greetings! It looks like this issue hasn’t been active in more than five days. We encourage you to check if this is still an issue in the latest release. In the absence of more information, we will be closing this issue soon. If you find that this is still a problem, please feel free to provide a comment or upvote with a reaction on the initial post to prevent automatic closure. If the issue is already closed, please feel free to open a new one.'
stale-pr-message: 'This pull request is in the review stage. It has been 5 days with no response to feedback provided by the maintainers. Please comment with an update to indicate work you are still working on the pull request. Thanks!'

stale-issue-label: closing-soon
stale-pr-label: no-pr-activity

labels-to-add-when-unstale: waiting-on-maintainers
labels-to-remove-when-unstale: response-requested,closing-soon,no-pr-activity
only-labels: response-requested

close-issue-label: closed-for-staleness
close-pr-label: closed-for-staleness