| Index: infra/libs/git2/repo.py
|
| diff --git a/infra/libs/git2/repo.py b/infra/libs/git2/repo.py
|
| index 9bf21621f6f300f13c92f05375b29e95e2f4aa6e..c6555e75a34af5192439f5fe1c7ba0dab00fc466 100644
|
| --- a/infra/libs/git2/repo.py
|
| +++ b/infra/libs/git2/repo.py
|
| @@ -36,6 +36,9 @@ class Repo(object):
|
| self._commit_cache = collections.OrderedDict()
|
| self._log = LOGGER.getChild('Repo')
|
|
|
| + def __hash__(self):
|
| + return hash((self._url, self._repo_path))
|
| +
|
| def __getitem__(self, ref):
|
| """Get a Ref attached to this Repo."""
|
| return Ref(self, ref)
|
|
|