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

[Jade] Move a metapackage moveit_runtime from moveit_metapackage repo. #436

Merged
merged 1 commit into from
Jan 31, 2017

Conversation

130s
Copy link
Contributor

@130s 130s commented Jan 30, 2017

Cherrypicking the change of #422.

Note that for Jade (and Kinetic too), in addition to dropping moveit_full as suggested in #422 (comment), we need to drop moveit_full_pr2 as its dependency, moveit_pr2 is not met yet. Related moveit/moveit_pr2#71

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

I suppose you want to cherry-pick this to kinetic with a different commit message (no [Jade]?), so I'll leave merging to you.

@130s
Copy link
Contributor Author

130s commented Jan 31, 2017

I suppose you want to cherry-pick this to kinetic with a different commit message (no [Jade]?), so I'll leave merging to you.

Exactly.

@130s 130s merged commit 07eb0a0 into moveit:jade-devel Jan 31, 2017
@130s 130s deleted the j/move_metapkg branch January 31, 2017 18:23
@130s
Copy link
Contributor Author

130s commented Jan 31, 2017

Cherry-picked to kinetic-devel be24a76 with the updated commit msg.

<?xml version="1.0"?>
<package>
<name>moveit_runtime</name>
<version>0.7.6</version>
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Upon release, the version needs to be aligned with other packages in this repo for each distro (the version here falsely remains as the one from indigo).

130s added a commit to moveit/moveit_metapackages that referenced this pull request Feb 3, 2017
JafarAbdi pushed a commit to JafarAbdi/moveit that referenced this pull request Mar 24, 2022
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