| Autore | SHA1 Messaggio | Data |
|---|---|---|
|
|
02755d43d5 Define separate stale & close timers for PRs | 1 anno fa |
|
|
c117218332 Fix permissions for stalebot (see actions/stale #1131) | 1 anno fa |
|
|
59e12e73c2 Clean up GitHub actions | 1 anno fa |