| 1 | |
| 2 |
|
| 3 | pulls:
|
| 4 | daysUntilStale: 60
|
| 5 | daysUntilClose: 14
|
| 6 | staleLabel: S-stale
|
| 7 | exemptLabels:
|
| 8 | - S-help-wanted
|
| 9 | - S-needs-review
|
| 10 | - S-ready
|
| 11 | - S-waiting-maintainer-review
|
| 12 | - S-WIP
|
| 13 | - T-backport-it
|
| 14 | - T-security
|
| 15 | markComment: |
|
| 16 | Sorry to bother you, but we noticed there has't been any activity on this
|
| 17 | pull request for 60 days. Because we have to deal with a lot of pull
|
| 18 | requests, we use this stupid bot to automatically mark it as stale.
|
| 19 |
|
| 20 | If you still want this PR to be merged, you can do the following:
|
| 21 |
|
| 22 | 1. Rebase the PR on the latest master.
|
| 23 | 2. Apply any feedback you might have received.
|
| 24 | 3. Make sure the package builds without issues in CI.
|
| 25 | 4. If the PR is waiting on us, feel free to ping one of us here or on IRC.
|
| 26 |
|
| 27 | If you are no longer interested in this PR, you don't have to do anything.
|
| 28 | The PR will automatically be closed in 14 days.
|
| 29 | closeComment: >
|
| 30 | This pull request has been automatically closed.
|