diff options
| author | Ian Lewis <ianlewis@google.com> | 2021-04-12 17:54:25 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-04-12 17:56:06 -0700 |
| commit | 90900e4f8f6760f1de34e660030a0155cfd6b40a (patch) | |
| tree | 7700a921c7e856f6bc9f3c850e3931bca807689f /.github | |
| parent | c4c6a71fb9d5ed51d0e9e2d6a78eaabf96174849 (diff) | |
Don't mark exported PRs as stale.
PiperOrigin-RevId: 368121539
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/stale.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 3a4aa22e2..a9e0a4717 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -15,7 +15,7 @@ jobs: stale-issue-label: 'stale' stale-pr-label: 'stale' exempt-issue-labels: 'exported, type: bug, type: cleanup, type: enhancement, type: process, type: proposal, type: question' - exempt-pr-labels: 'ready to pull' + exempt-pr-labels: 'ready to pull, exported' stale-issue-message: 'This issue is stale because it has been open 90 days with no activity. Remove the stale label or comment or this will be closed in 30 days.' stale-pr-message: 'This pull request is stale because it has been open 90 days with no activity. Remove the stale label or comment or this will be closed in 30 days.' days-before-stale: 90 |