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

Migrate focus tool #266

Merged
merged 6 commits into from
Jun 13, 2018
Merged

Migrate focus tool #266

merged 6 commits into from
Jun 13, 2018

Conversation

anhosi
Copy link
Contributor

@anhosi anhosi commented May 16, 2018

Closes #213.

@anhosi
Copy link
Contributor Author

anhosi commented May 16, 2018

CI:

  • Linux Build Status
  • Linux-aarch64 Build Status
  • macOS Build Status
  • Windows Build Status

@wjwwood wjwwood added the in review Waiting for review (Kanban column) label May 23, 2018
@wjwwood wjwwood added this to the bouncy milestone May 23, 2018
@Martin-Idel-SI
Copy link
Contributor

CI after rebase:

  • Linux Build Status
  • Linux-aarch64 Build Status
  • macOS Build Status
  • Windows Build Status

@wjwwood wjwwood added the 🔥 label Jun 12, 2018
@anhosi anhosi force-pushed the feature/migrate_focus_tool branch from c7a3e28 to 777f731 Compare June 12, 2018 12:02
@anhosi
Copy link
Contributor Author

anhosi commented Jun 12, 2018

new CI after rebase:

  • Linux Build Status
  • Linux-aarch64 Build Status
  • macOS Build Status
  • Windows Build Status

@wjwwood wjwwood merged commit 96ab696 into ros2:ros2 Jun 13, 2018
@clalancette clalancette removed the in review Waiting for review (Kanban column) label Jun 13, 2018
@Martin-Idel-SI Martin-Idel-SI deleted the feature/migrate_focus_tool branch June 13, 2018 06:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants