Skip to content

🧪 GitHub - Close stale issues #13

🧪 GitHub - Close stale issues

🧪 GitHub - Close stale issues #13

# Copyright (C) Markus Franz Xaver Johannes Oberhumer
# see https://docs.github.com/en/actions/managing-issues-and-pull-requests/closing-inactive-issues
# see https://github.com/actions/stale
# Automatically closing issues is far from perfect, but then we only
# have limited resources and this approach favors issues that people
# actually care about.
#
# also see:
# "Should I Stale or Should I Close? An Analysis of a Bot that Closes
# Abandoned Issues and Pull Request".
# https://igorwiese.com/images/papers/Paper_BotSE_19.pdf
name: 🧪 GitHub - Close stale issues
on:
schedule: [ cron: "50 0 * * 1" ] # run weekly Monday 00:50 UTC
workflow_dispatch:
jobs:
job-close-stale-issues:
if: github.repository_owner == 'upx' && github.repository == 'upx/upx'
name: Close stale issues
runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
steps:
- uses: actions/stale@v9
with:
operations-per-run: 300
exempt-all-milestones: true
exempt-issue-labels: 'blocker,bug,enhancement,help wanted,regression'
days-before-stale: 90
days-before-close: 30
stale-issue-message: |
### English
This issue is stale because it has been open for 90 days with no activity.
Please remove the stale label or add a comment or this issue will be closed in 30 days.
### 中文
此问题已经打开了90天没有活动,因此已经过时。
请删除过时标签或添加评论,否则此问题将在30天内关闭。
stale-pr-message: |
### English
This PR is stale because it has been open for 90 days with no activity.
Please remove the stale label or add a comment or this PR will be closed in 30 days.
### 中文
此拉取请求已经打开了90天没有活动,因此已经过时。
请删除过时标签或添加评论,否则此拉取请求将在30天内关闭。
close-issue-message: |
### English
This issue was closed because it has been stale for 30 days with no activity. Please feel free to reopen.
### 中文
此问题已经过时30天没有活动,因此已经关闭。请随时重新打开。
close-pr-message: |
### English
This PR was closed because it has been stale for 30 days with no activity. Please feel free to reopen.
### 中文
此拉取请求已经过时30天没有活动,因此已经关闭。请随时重新打开.
repo-token: ${{ secrets.GITHUB_TOKEN }}