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

Ci optimisations brought into develop-4 #2146

Merged
merged 4 commits into from
Mar 9, 2024
Merged

Ci optimisations brought into develop-4 #2146

merged 4 commits into from
Mar 9, 2024

Conversation

jmcouffin
Copy link
Contributor

No description provided.

sanzoghenzo and others added 4 commits March 9, 2024 09:06
This prevents the CI to run if not needed.
this will add the needs-more-info label when a member of the project comments on an issue, and removes it when the author responds.
It works in tandem with the stale issues bot.
@jmcouffin jmcouffin merged commit 70e6af4 into develop-4 Mar 9, 2024
Copy link
Contributor

📦 New public release are available for 4.8.15.24089+0912

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants