Skip to content

Conversation

marc-wittwer
Copy link
Contributor

@marc-wittwer marc-wittwer commented May 23, 2022

Description

If git is not setup with ssh the cloning step will fail.

vcs import < moveit2_tutorials/moveit2_tutorials.repos

I was following this moveit2 tutorial:
https://moveit.picknik.ai/main/doc/tutorials/getting_started/getting_started.html#create-a-colcon-workspace-and-download-tutorials

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

@gavanderhoorn
Copy link
Member

Would be nicer to spec https URLs everywhere.

Users who'd prefer to checkout over SSH could just add:

[url "ssh://git@github.com/"]
	insteadOf = https://github.com/

to their $HOME/.gitconfig.

@rhaschke rhaschke merged commit 6780918 into moveit:main May 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants