Skip to content

Set up stale GitHub action#1135

Merged
jakob-keller merged 1 commit intomasterfrom
stale-action
Aug 19, 2024
Merged

Set up stale GitHub action#1135
jakob-keller merged 1 commit intomasterfrom
stale-action

Conversation

@jakob-keller
Copy link
Collaborator

Description of Change

Use GitHub action https://github.com/actions/stale to mark stale issues and PRs as such after 60 days and close them 7 days later.

@jakob-keller jakob-keller added the github_actions Pull requests that update GitHub Actions code label Aug 16, 2024
@jakob-keller jakob-keller requested a review from thehesiod August 16, 2024 21:16
@jakob-keller jakob-keller self-assigned this Aug 16, 2024
@codecov
Copy link

codecov bot commented Aug 17, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.03%. Comparing base (41112b8) to head (b8e62c4).
Report is 91 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1135      +/-   ##
==========================================
+ Coverage   86.98%   87.03%   +0.05%     
==========================================
  Files          64       64              
  Lines        5969     5969              
==========================================
+ Hits         5192     5195       +3     
+ Misses        777      774       -3     
Flag Coverage Δ
unittests 87.03% <ø> (+0.05%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@jakob-keller jakob-keller force-pushed the stale-action branch 2 times, most recently from 57d7ef0 to d656ad3 Compare August 18, 2024 20:53
@thehesiod
Copy link
Collaborator

ok I didn't real the docs, if we fail to respond in 60 days we shouldn't close it, will it work like that?

@jakob-keller
Copy link
Collaborator Author

My understanding: Any issue and PR without activity for 60 days (customisable) will be tagged as stale. After further 7 days (also customisable), it will be closed. Any activity will reset those timers and we can always reopen any issue or PR, if we choose to do so.

@jakob-keller jakob-keller enabled auto-merge August 19, 2024 19:23
Use GitHub action https://github.com/actions/stale to mark stale issues and PRs as such after 60 days and close them 7 days later.
@jakob-keller jakob-keller merged commit 0a98c86 into master Aug 19, 2024
@jakob-keller jakob-keller deleted the stale-action branch August 19, 2024 19:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants