Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update submodules URLs to use git URLs explicitly
Even though GitHub redirects git calls based on user-agent, using git URLs consistently is preferable.
- Loading branch information