Would it be worth it to automatically close stale pull requests after a certain period of inactivity?
Seems like it's relatively simple to set up with github actions.
https://github.com/actions/stale -- "Marks issues and pull requests that have not had recent interaction"
days-before-stale to desired number of days -- https://github.com/actions/stale?tab=readme-ov-file#days-before-stale
days-before-close to -1 to prevent issue being closed -- https://github.com/actions/stale?tab=readme-ov-file#days-before-close
stale-pr-message to desired comment -- https://github.com/actions/stale?tab=readme-ov-file#stale-pr-message
Would it be worth it to automatically close stale pull requests after a certain period of inactivity?
Seems like it's relatively simple to set up with github actions.
https://github.com/actions/stale -- "Marks issues and pull requests that have not had recent interaction"
days-before-stale to desired number of days -- https://github.com/actions/stale?tab=readme-ov-file#days-before-stale
days-before-close to -1 to prevent issue being closed -- https://github.com/actions/stale?tab=readme-ov-file#days-before-close
stale-pr-message to desired comment -- https://github.com/actions/stale?tab=readme-ov-file#stale-pr-message