ci: register dev and prod deployments in github environments

Author: Pierre-Demessence

.github/workflows/deploy-prod.yml

@@ -32,6 +32,7 @@ jobs:
       manifest_path: k8s/prod/bot.yaml
       manifest_ref: master
       commit_message: "chore(k8s): update prod image to {sha}"
+      environment: prod
     secrets:
       APP_ID: ${{ secrets.APP_ID }}
       APP_PRIVATE_KEY: ${{ secrets.APP_PRIVATE_KEY }}

.github/workflows/deploy-to-dev.yml

@@ -89,6 +89,7 @@ jobs:
             manifest_path: k8s/dev/bot.yaml
             manifest_ref: master
             commit_message: ${{ needs.resolve.outputs.commit_message }}
+            environment: dev
         secrets:
             APP_ID: ${{ secrets.APP_ID }}
             APP_PRIVATE_KEY: ${{ secrets.APP_PRIVATE_KEY }}

.github/workflows/deploy.yml

@@ -23,6 +23,10 @@ on:
         description: "Commit message template ({sha} will be replaced with short SHA)"
         required: true
         type: string
+      environment:
+        description: "Deployment environment name"
+        required: true
+        type: string
     secrets:
       APP_ID:
         description: "GitHub App ID for bypassing branch protection"
@@ -38,6 +42,7 @@ jobs:
   deploy:
     name: Update Manifest
     runs-on: ubuntu-latest
+    environment: ${{ inputs.environment }}
     steps:
       - name: Generate GitHub App token
         id: app-token