Add deleted field to ssh key

django_backend/backend/models.py

@@ -176,6 +176,11 @@ class SSHPublicKey(models.Model):
             blank=True,
             editable=False,
             )
+    # has the user triggered the deletion of this key
+    deleted = models.BooleanField(
+            default=False,
+            editable=False,
+            )
 
     def __str__(self):
         return self.name