Skip to content

Changing `launch_git_repository` to something that is always available.

Closes #3424163

Merge request reports