Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Development: Upgrade stale bot #6383

Merged
merged 1 commit into from Mar 25, 2023
Merged

Conversation

ge65cer
Copy link
Contributor

@ge65cer ge65cer commented Mar 24, 2023

Checklist

General

Motivation and Context

Stale bot can now remove labels, see actions/stale#959.

Description

Upgrades the stale bot action to the latest version.
Automatically removes the 'ready' labels from stale PRs.

@ge65cer ge65cer requested a review from a team as a code owner March 24, 2023 17:32
@artemis-bot artemis-bot added this to In progress in Artemis Development Mar 24, 2023
@ge65cer ge65cer added ready for review chore priority:low It is not urgent to fix this issue! small labels Mar 24, 2023
@ge65cer ge65cer added this to the 6.1.2 milestone Mar 24, 2023
Copy link
Contributor

@pal03377 pal03377 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Assuming we want to remove the ready for review and ready to merge from stale PRs, the small changes look good 👍

@krusche krusche merged commit b7df88f into develop Mar 25, 2023
18 checks passed
@krusche krusche deleted the development/upgrade-stale-bot branch March 25, 2023 07:20
Mtze pushed a commit that referenced this pull request Jun 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore priority:low It is not urgent to fix this issue! ready to merge small
Projects
No open projects
Artemis Development
  
In progress
Development

Successfully merging this pull request may close these issues.

None yet

3 participants