chore: Add type stubs for Django and rest

Dockerfile

@@ -24,6 +24,9 @@ RUN pip install --upgrade pip setuptools wheel
 # Install any needed packages specified in requirements.txt
 RUN pip install --no-cache-dir -r requirements.txt
 
+# Install development dependencies
+RUN uv pip install --system --no-cache -r requirements-dev.txt
+
 # Make port 8000 available to the world outside this container
 EXPOSE 8000
 

README.md

@@ -152,8 +152,10 @@ _from within edubadges-server directory_
 
 - `pip install -r requirements.txt`
 
-if on a mac mysqlclient does not build, try:
+For development, also install development dependencies:
+- `pip install -r requirements-dev.txt`
 
+if on a mac mysqlclient does not build, try:
 ```
 LDFLAGS=-L/usr/local/opt/openssl/lib pip install mysqlclient
 ```

requirements-dev.txt

@@ -0,0 +1,4 @@
+# Development dependencies
+django-stubs==5.1.3  # 5.x is mostly backwards compatible with Django 4.2, see https://github.com/typeddjango/django-stubs/discussions/2101.
+django-stubs-ext==5.1.3
+djangorestframework-stubs==3.15.3

requirements.txt

@@ -23,7 +23,7 @@ drf_spectacular_sidecar==2025.2.1
 
 django-object-actions==4.3.0
 
-pymemcache==4.0.0 
+pymemcache==4.0.0
 
 djangorestframework==3.15.2
 django-filter==25.1