-
-
Notifications
You must be signed in to change notification settings - Fork 699
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
[14.0][MIG] event_crm #2855
[14.0][MIG] event_crm #2855
Conversation
This PR has the |
I think these nothing-to-do PRs can be best merged manually without ocabot triggering another run from the github workflows, so I'll do just that, even if it feels a bit dirty. |
But the dependency chain has been respected? |
I would think yes, because otherwise, CI would not have been green on the PR. |
I see that both |
OK. I did check for the 'blocked by dependency' label before merging but I'll do an extra check when merging manually next time. |
I think @MiquelRForgeFlow is very conscientious with the labels, so it can be OK if it has been removed. Sorry for the noise. |
That's true, @MiquelRForgeFlow is very good with those labels! |
Nothing to do.