Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ignore repo changes for Git sourcedataMatches()
Git is more than willing to fetch branches from completely unrelated repositories into the same local repository (it'll give a warning about 'no related commits', but that's not a problem). There's no reason to throw away the current repository and re-clone just because the repo changed (and it saves a lot of time if the different remotes are actually just different clones of the same project).
- Loading branch information