Add notification on ticket messages

judge/migrations/0109_auto_20201017_1151.py

@@ -0,0 +1,24 @@
+# Generated by Django 2.2.12 on 2020-10-17 04:51
+
+from django.db import migrations, models
+import django.db.models.deletion
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('judge', '0108_submission_judged_date'),
+    ]
+
+    operations = [
+        migrations.AddField(
+            model_name='notification',
+            name='html_link',
+            field=models.TextField(default='', max_length=1000, verbose_name='html link to comments, used for non-comments'),
+        ),
+        migrations.AlterField(
+            model_name='notification',
+            name='comment',
+            field=models.ForeignKey(null=True, on_delete=django.db.models.deletion.CASCADE, to='judge.Comment', verbose_name='comment'),
+        ),
+    ]

judge/migrations/0110_notification_author.py

@@ -0,0 +1,19 @@
+# Generated by Django 2.2.12 on 2020-10-17 05:10
+
+from django.db import migrations, models
+import django.db.models.deletion
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('judge', '0109_auto_20201017_1151'),
+    ]
+
+    operations = [
+        migrations.AddField(
+            model_name='notification',
+            name='author',
+            field=models.ForeignKey(null=True, on_delete=django.db.models.deletion.CASCADE, to='judge.Profile', verbose_name='who trigger, used for non-comment'),
+        ),
+    ]