Merge branch 'feature/prepdev-env-is-prepdev' into 'main'

WIP: Fix deployment of ta0 to prepdev

See merge request rpki/rpki-ta-0!140

.gitlab-ci.yml

@@ -85,11 +85,12 @@ sonarqube:
   # No caching of gradle data needed
   cache: []
   allow_failure: true
-  before_script:
+  script:
+    # Preparation: Include in scripts because we want the output.
+    - echo "Using SSH key from ${SSH_KEY}"
     - chmod 400 ${SSH_KEY}
     - chmod +x src/main/scripts/*.sh
     - mv build/distributions/rpki-ta-0-*.tgz .
-  script:
     # Print public key
     - ssh-keygen -y -l -f ${SSH_KEY}
     - >
@@ -112,4 +113,5 @@ prepdev:
   <<: *deploy
   variables:
     NODES: "core-5.rpki.prepdev.ripe.net"
+  environment:
     name: prepdev

README.md

@@ -15,10 +15,11 @@ https://github.com/RIPE-NCC/rpki-ta-0/blob/main/LICENSE.txt.
 Changelog
 ---------
 
-### main
+### v0.5.0
   * rpki-commons 1.39.1
   * Updated gradle plugins (to fix build warnings)
   * Updated gradle version in gradle wrapper
+  * Fixed deployment
 
 ### v0.4.0
   * **hotfix** fix bug in manifest this/nextUpdate calculation