Fix port number

Author: koppor

.github/workflows/deployment.yml

@@ -72,7 +72,7 @@ jobs:
         mkdir ${branch}
         shopt -s extglob
         mv !(${branch}) ${branch}
-        rsync -rv -e "ssh -p2222" . [email protected]:/var/www/builds.jabref.org/www/
+        rsync -rv -e "ssh -p9922" . [email protected]:/var/www/builds.jabref.org/www/
       shell: bash
       env:
         PRIVATEKEY: ${{ secrets.buildJabRefPrivateKey }}
@@ -159,7 +159,7 @@ jobs:
         mkdir ${branch}
         shopt -s extglob
         mv !(${branch}) ${branch}
-        rsync -rv -e "ssh -p2222" . [email protected]:/var/www/builds.jabref.org/www/
+        rsync -rv -e "ssh -p9922" . [email protected]:/var/www/builds.jabref.org/www/
       shell: bash
       env:
         PRIVATEKEY: ${{ secrets.buildJabRefPrivateKey }}