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

Create workspace file #32

Merged
merged 8 commits into from
Oct 1, 2022
Merged

Conversation

patrick-5546
Copy link
Member

@patrick-5546 patrick-5546 commented Oct 1, 2022

The workspace file allows for multi-root workspaces, which makes it easier to edit multiple ROS nodes at once

Other changes

  • Update main README
  • Fix ROS 1 workspace file permissions

@patrick-5546 patrick-5546 added bug Something isn't working docs Improvements or additions to documentation ignore-for-release sim Boat Simulator team labels Oct 1, 2022
@patrick-5546 patrick-5546 self-assigned this Oct 1, 2022
@patrick-5546 patrick-5546 changed the title Infrastructure and documentation updates Create workspace file Oct 1, 2022
@patrick-5546 patrick-5546 added infrastructure and removed ignore-for-release sim Boat Simulator team labels Oct 1, 2022
@patrick-5546 patrick-5546 enabled auto-merge (squash) October 1, 2022 05:30
@patrick-5546 patrick-5546 merged commit 3372ae6 into main Oct 1, 2022
@patrick-5546 patrick-5546 deleted the user/patrick-5546/infra_updates branch October 1, 2022 05:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working docs Improvements or additions to documentation infrastructure
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

1 participant