Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
There were merge conflict issues appearing with cloning first and then checking out (although it shouldn't). Cloning tag only might solve it. And anyways that should really be the preferred way, it's faster and downloads only the part we're interested in.
- Loading branch information