more sensible naming scheme for pipeline stages

Signed-off-by: Karel van Klink <karel.vanklink@geant.org>

.gitlab-ci.yml

 stages:
   - documentation
-  - publish
+  - publish-prod-2
+  - publish-prod-1
 
 include:
   # Documentation pipelines, both building and linting

docs/.gitlab-ci.yml

@@ -42,8 +42,8 @@ lint-documentation:
     - vale $CI_PROJECT_DIR/docs/build/html/_sources
 
 ##### Publish documentation artefacts
-publish-documentation-1:
-  stage: publish
+publish-prod-2:
+  stage: publish-prod-2
   # First deploy to prod-2
   tags:
     - gap-docs-prod-2
@@ -60,14 +60,14 @@ publish-documentation-1:
     - mv $CI_PROJECT_DIR/docs/build/html/* /var/www/gap-docs/
     - nginx -s reload
 
-publish-documentation-2:
-  stage: publish
+publish-prod-1:
+  stage: publish-prod-1
   # When successful, also deploy to prod-1
   tags:
     - gap-docs-prod-1
 
   needs:
-    - job: publish-documentation-1  # Only run when publishing to prod-2 was successful
+    - job: publish-prod-2  # Only run when publishing to prod-2 was successful
       artifacts: true
 
   script: