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

[Indigo] Move metapackages from moveit_metapackage repo. #422

Merged
merged 1 commit into from
Jan 30, 2017

Conversation

130s
Copy link
Contributor

@130s 130s commented Jan 23, 2017

Moving the metapackages moveit_{full, full_pr2, runtime} into moveit repo for Indigo, as part of moveit/moveit_metapackages#11

For Jade onward, I suggest to drop moveit_full because moveit metapackage has replaced the role. It's still kept in Indigo for backward compatibility only IMO.

@130s
Copy link
Contributor Author

130s commented Jan 29, 2017

Could anyone including @ros-planning/moveit-developers review? Travis passed.

Copy link
Contributor

@v4hn v4hn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@130s 130s merged commit 0aa154b into moveit:indigo-devel Jan 30, 2017
@130s 130s deleted the i/move_metapkgs branch January 30, 2017 22:28
130s added a commit to moveit/moveit_metapackages that referenced this pull request Feb 3, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants