You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jun 25, 2020. It is now read-only.
wstool up has lots of options to handle changed URIs, but the two I am most interested are missing.
The most important is to ignore the fact that the URI is different; I happen to know that they are different URIs to the same repo, often with .git at the end, or switched to ssh vs http etc.
Another is to update the repo config's URI to match the .rosinstall URI.
wstool uphas lots of options to handle changed URIs, but the two I am most interested are missing.The most important is to ignore the fact that the URI is different; I happen to know that they are different URIs to the same repo, often with
.gitat the end, or switched to ssh vs http etc.Another is to update the repo config's URI to match the
.rosinstallURI.