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

Add Nav2 slack to WG #3566

Merged
merged 1 commit into from
May 9, 2023
Merged

Conversation

SteveMacenski
Copy link
Contributor

No description provided.

@christophebedard christophebedard added the backport-all backport at reviewers discretion; from rolling to all versions label May 9, 2023
@christophebedard christophebedard merged commit d7ac403 into ros2:rolling May 9, 2023
mergify bot pushed a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)
mergify bot pushed a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)
mergify bot pushed a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)
clalancette pushed a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)

Co-authored-by: Steve Macenski <stevenmacenski@gmail.com>
clalancette added a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)

Co-authored-by: Steve Macenski <stevenmacenski@gmail.com>
clalancette added a commit that referenced this pull request May 9, 2023
(cherry picked from commit d7ac403)

Co-authored-by: Steve Macenski <stevenmacenski@gmail.com>
@christophebedard
Copy link
Member

not sure what happened with mergify there, thanks for taking care of the backports @clalancette!

@SteveMacenski SteveMacenski deleted the patch-1 branch May 9, 2023 16:04
@clalancette
Copy link
Contributor

not sure what happened with mergify there, thanks for taking care of the backports @clalancette!

Yeah, I've noticed Mergify has been a bit flakey the last few days. It seems to always create the backport and the branches, but then it sometimes fails to actually open the PRs. Maybe it has something to do with the GitHub instability, I'm not sure.

In any case, happy to do it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-all backport at reviewers discretion; from rolling to all versions
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants