chore(ci): add deployfor production

serlo · Jan 31, 2025 · bee60a0 · bee60a0
1 parent 31e6d45
commit bee60a0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -3,6 +3,7 @@ name: Deploy to Uberspace
 on:
   push:
     branches:
+      - production
       - staging
       - development
 
@@ -25,6 +26,14 @@ jobs:
           echo "REMOTE_USER=${{ secrets.REMOTE_USER_STAGING }}" >> $GITHUB_ENV
           echo "DOMAIN=https://editor.serlo-staging.dev/" >> $GITHUB_ENV
 
+      - name: Set environment variables for production
+        if: ${{ github.ref_name == 'staging' }}
+        run: |
+          echo "REMOTE_HOST=${{ secrets.REMOTE_HOST_PRODUCTION }}" >> $GITHUB_ENV
+          echo "REMOTE_USER=${{ secrets.REMOTE_USER_PRODUCTION }}" >> $GITHUB_ENV
+          echo "DOMAIN=https://editor.serlo.org/" >> $GITHUB_ENV
+      
+      # Maybe split ssh key between production and others
       - name: Deploy to Server
         uses: appleboy/[email protected]
         with: