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.

Sign up for GitHub

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

Jump to bottom

Fix humble branch names in humble branch #388

Merged
merged 1 commit into from
May 5, 2023
Merged

Fix humble branch names in humble branch #388

merged 1 commit into from
May 5, 2023

Conversation

mjcarroll
Copy link
Collaborator

No description provided.

@mjcarroll mjcarroll requested a review from ahcorde as a code owner May 5, 2023 19:21
@mjcarroll mjcarroll mentioned this pull request May 5, 2023
Closed
@moriarty
Copy link

moriarty commented May 5, 2023

I think this PR needs to be retargetted from ros2 to humble based on the title, otherwise this is duplicate of #387

@mjcarroll mjcarroll changed the base branch from ros2 to humble May 5, 2023 19:29
@moriarty
Copy link

moriarty commented May 5, 2023

Interesting, looks like branch protection isn't setup on humble

Review requested
Review has been requested on this pull request. It is not required to merge

@mjcarroll mjcarroll merged commit 591b8b5 into humble May 5, 2023
@mjcarroll mjcarroll deleted the mjcarroll/fix_branch_names_humble branch May 5, 2023 22:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ahcorde ahcorde Awaiting requested review from ahcorde

Assignees
No one assigned
Labels
None yet
Projects
Core development
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mjcarroll @moriarty