Sphinx domain: change type of ID field (#9482)

Author: stsewd

readthedocs/sphinx_domains/apps.py

@@ -0,0 +1,8 @@
+"""Sphinx domains app."""
+
+from django.apps import AppConfig
+
+
+class SphinxDomainsConfig(AppConfig):
+    default_auto_field = "django.db.models.BigAutoField"
+    name = "readthedocs.sphinx_domains"

readthedocs/sphinx_domains/migrations/0007_alter_sphinxdomain_id.py

@@ -0,0 +1,20 @@
+# Generated by Django 3.2.13 on 2022-08-08 20:23
+
+from django.db import migrations, models
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ("sphinx_domains", "0006_update_timestamp_fields"),
+    ]
+
+    operations = [
+        migrations.AlterField(
+            model_name="sphinxdomain",
+            name="id",
+            field=models.BigAutoField(
+                auto_created=True, primary_key=True, serialize=False, verbose_name="ID"
+            ),
+        ),
+    ]