moveit2_tutorials icon indicating copy to clipboard operation
moveit2_tutorials copied to clipboard

Published 20 hours ago • verified publisher icon ros-planning

Remove .github folder from dockerignore so docker build can find upstream.repos

Open mishra39 opened this issue 1 year ago • 0 comments

Description

Please explain the changes you made, including a reference to the related issue if applicable This PR aims to fix the docker build. Currently, the command RUN vcs import src < src/moveit2_tutorials/.github/upstream.repos provided in Dockerfile fails as the .github folder is not copied over when COPY . src/moveit2_tutorials is run. To fix this issue, **/.github needs to be removed from the .dockerignore file.

Checklist

  • [ ] Required by CI: Code is auto formatted using clang-format
  • [ ] While waiting for someone to review your request, please consider reviewing another open pull request to support the maintainers

mishra39 avatar Feb 29 '24 17:02 mishra39