Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
lisa: Use git protocol instead of HTTP when cloning gitlab
Gitlab seems to have some troubles with HTTPS clones redirecting to sign in page, so use git protocol instead.
- Loading branch information