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

Recognise Merge:auto-merge label & friends #304

Merged
merged 3 commits into from
Dec 2, 2024

Conversation

thewilsonator
Copy link
Contributor

With the change from Bugzilla to GitHub we will now have a lot more labels, and they are naturally categorised into groups like OS:Windows.

The ones that the bot deals with need to be handled properly here. Sill to do Blocked.

With the change from Bugzilla to GitHub we will now have a lot more labels, and they are naturally categorised into groups like `OS:Windows`. 

The ones that the bot deals with need to be handled properly here. Sill to do `Blocked`.
@CyberShadow CyberShadow merged commit 878e7f0 into dlang:master Dec 2, 2024
2 checks passed
@thewilsonator thewilsonator deleted the patch-2 branch December 5, 2024 07:24
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