… it didn't work

The old uses syntax unavailable in Safari, which is not a problem for
me, but it is not working (for unknown reason) in the browser built-in
to Android 6.

This is an attempt to fix that.

conf/nginx.conf

@@ -1,5 +1,5 @@
 server {
-	listen … ssl;
+	ssl on;
 	TODO: gzip?
 	# TODO FOR ADMIN: Config listens and SSL and server_name and whatnot
 

constraints.txt

@@ -2,3 +2,6 @@ Django>=3.1
 # Django-autocomplete-light does not play nicely with Django 4.0, so limit that for now.
 Django<4
 django-sendmail-backend==0.1.2
+
+# Old django-autocomplete-light does not support Safari and maybe Android built-in browser…
+django-autocomplete-light>=3.9.0rc1

deploy.sh

@@ -23,11 +23,11 @@ fi
 
 # TODO: When deployment is new enough, use the top command.
 #currentbranch="$(git branch --show-current)"
-currentbranch="$(git rev-parse --abbrev-ref HEAD)"
+currentbranch="$(git branch --format '%(refname:short)')"
 
 # If we are not on target branch, switch and run again
-if test "$currentbranch" '!=' "$branch"; then
-	exec /bin/sh -eu -c "git checkout $branch && git pull && exec $0 $branch"
+if test "$currentbranch" -ne "$branch"; then
+	exec /bin/sh -eu "git checkout $branch && exec $0"
 fi
 
 echo "Deploying branch $branch"