Merge pull request 'dev' (#38) from dev into main

Reviewed-on: #38

.gitignore

@@ -3,7 +3,6 @@
 __pycache__/
 *.py[cod]
 *$py.class
-__init__.py
 
 # C extensions
 *.so

expenses_manager/Jenkinsfile

@@ -119,6 +119,23 @@ pipeline {
                                         -e DB_ENGINE=sqlite3 \
                                         ${IMAGE}:${SHA} python manage.py check"
                             '''
+
+                        // A migrations directory without __init__.py is a namespace
+                        // package, and Django deliberately ignores those: the app then
+                        // appears to have no migrations at all, migrate --check always
+                        // reports nothing pending, and a real migration would silently
+                        // never be applied. This is what .gitignore line 6 caused.
+                        sh '''
+                            SHA=$(echo "${GIT_COMMIT}" | cut -c1-7)
+                            ssh ${SSH_OPTS} ${NAS_USER}@${NAS_HOST} \
+                                "sudo ${NAS_DOCKER} run --rm \
+                                    -e SECRET_KEY=smoke-test-only \
+                                    -e DEBUG=False \
+                                    -e ALLOWED_HOSTS=localhost \
+                                    -e DB_ENGINE=sqlite3 \
+                                    ${IMAGE}:${SHA} python manage.py showmigrations expenses" \
+                                | grep -q '0001_initial'
+                        '''
                         }
                     }
                 }