add new page build deploy key, fixes #50

for github actions only, used to push the built html
pages to the master branch of this repository.

travis-ci still uses the old key (from enkore), but
we'll kill travis-ci soon anyway.

Author: ThomasWaldmann

.github/keys/github_deploy_key.asc

@@ -0,0 +1,12 @@
+-----BEGIN PGP MESSAGE-----
+
+jA0ECQMCpidl1vzMukTu0sCVASOxGIzRDhUCIdeSGZrBqdNPzZdKqAcO8Nd9iELT
+s85kHwCX7MbFHoSOEUFnP2xQEiQh9lBf4fik5hZhaa4J3ewLYSxYU7yWimg2QBKC
+tAmW8nxu91QJkOpz6kqEVmTm7n7QFy6XO+Ivy+XUmlklvCi52/EnvKWyQEWOZXTn
+2R3SSbtKWIwS4g5LalxcCU5kGwWp1ClzJMBhXz5kvcrIOv9BvqY/HyFOyenBx5bE
+LNcCFOMpC7Q0y4bnvilY1sAaA+By40HJnUAzez1U+dsOAJ7GQjbj/78RpqE1Jswj
+0K7RqgPVAlsRSuenvdbdbdpA64rFH2k1wol/0tvXb9KTPi5uIB6dSmYXPADZ7ZoE
+zUqTkJHygqHZcMHznQH4cGQz0UhZ9+MfVa0A54xtUv9WsCOOmKpl58vVcWWqg+KB
+sNd+ynn9E/lr1KrQLKVnIygxLD3w0kM=
+=JsQf
+-----END PGP MESSAGE-----

.github/workflows/main.yml

@@ -12,8 +12,7 @@ jobs:
     - name: Publish pages to web
       shell: bash
       env:
-         encrypted_54b6162b97cf_key: ${{ secrets.encrypted_key }}
-         encrypted_54b6162b97cf_iv: ${{ secrets.encrypted_iv }}
+         GPG_PASSPHRASE: ${{ secrets.GPG_PASSPHRASE }}
       run: |
         # Only build the "source" branch ("master" = built, published pages,
         # this can't be changed for organization GitHub Pages)
@@ -42,7 +41,7 @@ jobs:
         # The public key is set up as a deployment key in the GitHub repository.
         # The following document explains the process:
         # https://docs.github.com/en/free-pro-team@latest/actions/reference/encrypted-secrets
-        openssl aes-256-cbc -K $encrypted_54b6162b97cf_key -iv $encrypted_54b6162b97cf_iv -in .travis/github_deploy_key.enc -out github_deploy_key -d
+        gpg --quiet --batch --yes --decrypt --passphrase="$GPG_PASSPHRASE" --output github_deploy_key .github/keys/github_deploy_key.asc
 
         # Add the SSH key
         chmod 600 github_deploy_key