-
Notifications
You must be signed in to change notification settings - Fork 95
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
devel-project: automatically prune devel-whitelist once included as devel project #1018
Comments
Would seem to make sense to just make it part of |
Is this issue is open?? |
Yeah, the issue is open. But 'less complex' is mostly relative - for someone understanding the full context, not really for initial contributors. |
From where to start I'm interested @coolo |
Well, this is what I mean - Jimmy labeled it "less complex", but meant for himself :) I don't even think it's possible for a bot to write the OSRT:Config attribute. But this is what the issue is asking for: compare the devel project whitelist in the config with the existing devel projects (calculcated in I'll remove the tag |
Ok @coolo |
Seems reasonable to automatically remove projects from
devel-whitelist
in remote config (#1014) once they are elevated to a devel project.The text was updated successfully, but these errors were encountered: