-
Notifications
You must be signed in to change notification settings - Fork 696
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
Add back reference from constraints to flags #9264
Conversation
Thank you @philderbeast |
@andreabedini, is it now OK to hit the green [Merge pull request] button? |
@philderbeast we don't merge manually, generally. The bot will take care of it after a mandatory two-days delay. Thank you for your contribution, as usual! |
Thanks @ulysses4ever. We've had trouble with automated merging of my contributions before and I was wondering if we still need to watch out for this and do it manually, #9043 (comment). |
@philderbeast oh, right, thank you for the reminder! Since then, I did implement something that should allow us to use the bot anyways (#9108). It just needs another label: not the standard The two-days-of-silence delay will automagically be honored this way, presumably. |
And it worked — hooray! |
I saw that flags referenced constraints but not vice-versa in the docs so I added the back reference.