Rename Key to PgpKey, so other keys can fit too

users/migrations/0017_rename_key_pgpkey.py

@@ -0,0 +1,17 @@
+# Generated by Django 3.2.20 on 2023-08-10 06:37
+
+from django.db import migrations
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('users', '0016_alter_user_first_name'),
+    ]
+
+    operations = [
+        migrations.RenameModel(
+            old_name='Key',
+            new_name='PgpKey',
+        ),
+    ]