An error occurred while loading code owners.
-
Steven Lange authoredAdded the .gitignore file, to prevent git from pushing build/ and devel/ from catkin-ws. Added some information for using docker.
d1e8c3e8
Code owners
Assign users and groups as approvers for specific file changes. Learn more.