Skip to content

move catkin_prepare_release and dependencies from catkin#216

Merged
dirk-thomas merged 3 commits intomasterfrom
move_prepare_release
May 31, 2018
Merged

move catkin_prepare_release and dependencies from catkin#216
dirk-thomas merged 3 commits intomasterfrom
move_prepare_release

Conversation

@dirk-thomas
Copy link
Copy Markdown
Member

@dirk-thomas dirk-thomas commented May 30, 2018

Import the following files from catkin:

  • Scripts:
    • catkin_package_version
    • catkin_prepare_release
  • Modules:
    • package_version
    • terminal_color
    • workspace_vcs

@dirk-thomas dirk-thomas self-assigned this May 30, 2018
@dirk-thomas dirk-thomas mentioned this pull request May 30, 2018
Merged
@mikaelarguedas mikaelarguedas mentioned this pull request May 30, 2018
Closed
83 tasks
@dirk-thomas dirk-thomas force-pushed the move_prepare_release branch 3 times, most recently from fb009e7 to 1725bbd Compare May 30, 2018 22:03
@dirk-thomas dirk-thomas force-pushed the move_prepare_release branch from 1725bbd to cdb4f92 Compare May 30, 2018 22:10
@dirk-thomas dirk-thomas force-pushed the move_prepare_release branch from ba86a36 to 2179126 Compare May 31, 2018 16:46
@dirk-thomas dirk-thomas merged commit e91b179 into master May 31, 2018
@dirk-thomas dirk-thomas deleted the move_prepare_release branch May 31, 2018 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tfoote tfoote tfoote approved these changes

Assignees

@dirk-thomas dirk-thomas

Labels

enhancement

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@dirk-thomas @tfoote