summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorIan Lewis <ianlewis@google.com>2021-04-12 17:54:25 -0700
committergVisor bot <gvisor-bot@google.com>2021-04-12 17:56:06 -0700
commit90900e4f8f6760f1de34e660030a0155cfd6b40a (patch)
tree7700a921c7e856f6bc9f3c850e3931bca807689f
parentc4c6a71fb9d5ed51d0e9e2d6a78eaabf96174849 (diff)
Don't mark exported PRs as stale.
PiperOrigin-RevId: 368121539
-rw-r--r--.github/workflows/stale.yml2
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