-
-
Notifications
You must be signed in to change notification settings - Fork 183
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
Run CI/CD on merge queue #1170
Comments
This issue has been marked as stale because it has been inactive for more than 60 days. Please update this pull request or it will be automatically closed in 7 days. |
@jakob-keller going to remove the stale thing, we just don't move that fast ;) |
Or you could extend it to a year or something like that.. |
meh, there's so few issues not worth the hassle, more hassle in terms of having to ping issues we want to eventually fix |
Such tools usually have a configuration toggle to ignore certain labels. Perhaps that should be configured. |
Originally posted by @webknjaz in #1163 (comment)
The text was updated successfully, but these errors were encountered: