have github issues de-duplicated

psss · Dec 9, 2023 · 77ede92 · 77ede92
1 parent e91b752
commit 77ede92
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/did/plugins/github.py b/did/plugins/github.py
@@ -130,6 +130,16 @@ def __str__(self):
             return "{0}/{1}#{2} - {3}".format(
                 self.owner, self.project,
                 str(self.id).zfill(PADDING), self.data["title"])
+
+    def __eq__(self, other):
+        """ Equality comparison """
+        if isinstance(other, Issue):
+            return self.owner == other.owner and self.project == other.project and self.id == other.id
+        return False
+
+    def __hash__(self):
+        """ Hash function """
+        return hash((self.owner, self.project, self.id))
 
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~