Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When using github urls, the code tries to test the detected name against the previously provided name. If we didn't provide a name, though, this would throw an exception.
- Loading branch information