maint: Add stale github action#4220
maint: Add stale github action#4220MikeGoldsmith wants to merge 11 commits intoopen-telemetry:mainfrom
Conversation
emdneto
left a comment
There was a problem hiding this comment.
do you know if this can add a label stale to the PRs? might be helpful
Good idea, and after checking, the action does this automatically too. I'll update the description to say it does it. |
|
Thanks again @MikeGoldsmith ! Could we also have a quick, generalized explanation under +1 to getting xrmx's opinion on 14+14. |
Updated CONTRIBUTING.md in c6378c5 |
xrmx
left a comment
There was a problem hiding this comment.
I'm not a fan of this kind of automation for the following reasons, some are very selfish:
- I think this is targeting the effect and not the cause, or better this is not making a distinction if the contributors has lost interest or they haven't received attention from us
- Even myself, as one that opens these repositories most days of the week, will have PRs marked as stale
- I have enough github notifications already, I don't need more 😿
Said that since the majority of contributors are happy with this I'm not opposing to this.
emdneto
left a comment
There was a problem hiding this comment.
I'm fine because there's way to prevent stale by just adding labels
Co-authored-by: Emídio Neto <9735060+emdneto@users.noreply.github.com>
…etry-python-contrib into mike/add-stale-gha
…-contrib into mike/add-stale-gha
Description
Adds a GitHub Action to automatically mark stale PRs and close them after inactivity, adapted from the opentelemetry-java workflow.
Type of change
How Has This Been Tested?
CI-only change, no code tests applicable.
Does This PR Require a Contrib Repo Change?
Checklist: