Add new developer sandbox 'jon' infrastructure

.github/workflows/deploy-sandbox.yaml

@@ -23,6 +23,7 @@ jobs:
   deploy:
     if: | 
       ${{startsWith(github.head_ref, 'ik/')
+        || startsWith(github.head_ref, 'jon')
         || startsWith(github.head_ref, 'sspj/')
         || startsWith(github.head_ref, 'mr/')
         || startsWith(github.head_ref, 'nmb/')

.github/workflows/migrate.yaml

@@ -14,6 +14,7 @@ on:
         description: Which environment should we run migrations for?
         options:
           - stable
+          - jon
           - lmm
           - ik
           - sspj

.github/workflows/reset-db.yaml

@@ -15,6 +15,7 @@ on:
         description: Which environment should we flush and re-load data for?
         options:
           - stable
+          - jon
           - lmm
           - ik
           - sspj