Jeremy Stretch
|
13c20957a6
Closes #18652: Run housekeeping GitHub actions only on the main repository (#19125)
|
10 ماه پیش |
Jeremy Stretch
|
b7610971c0
Closes #13366: Update documentation for `main` branch (#18309)
|
1 سال پیش |
Jeremy Stretch
|
7167f20ca5
Increase stale PR timer from 15 to 30 days
|
1 سال پیش |
Jeremy Stretch
|
bdf182ffd6
Increase operations limit for stale action
|
1 سال پیش |
Jeremy Stretch
|
5486e9238d
Ignore blocked PRs
|
1 سال پیش |
Jeremy Stretch
|
103c08c2d2
Update exempt issue labels for stale action
|
1 سال پیش |
Jeremy Stretch
|
02755d43d5
Define separate stale & close timers for PRs
|
1 سال پیش |
Jeremy Stretch
|
c117218332
Fix permissions for stalebot (see actions/stale #1131)
|
1 سال پیش |
Jeremy Stretch
|
59e12e73c2
Clean up GitHub actions
|
1 سال پیش |