CI: attempt to setup dev build

.github/workflows/deploy_dev.yml

@@ -0,0 +1,80 @@
+name: Theme Validation and deployment
+on:
+  push:
+    branches:
+      - develop
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v3
+        with:
+          node-version: "16"
+          cache: "npm"
+          cache-dependency-path: package-lock.json
+
+      - name: install deps
+        run: npm ci
+        shell: bash
+
+      - name: create generated dir
+        run: mkdir ./assets/generated
+        shell: bash
+
+      - name: create dependencies
+        run: npm run generate:licenses; npm run generate:images; npm run generate:charging-stations; npm run generate:service-worker; npm run generate:editor-layer-index
+        shell: bash
+
+      - name: sync translations
+        run: npm run generate:translations
+        shell: bash
+
+      - name: generate layeroverview
+        run: npm run reset:layeroverview
+        shell: bash
+
+      - name: run tests
+        run: npm run test
+        shell: bash
+
+      - name: Prepare deploy
+        run: npm run prepare-deploy
+        shell: bash
+
+      - name: Clone deployment repo
+        env:
+          DEPLOY_KEY_PIETERVDVN: ${{ secrets.DEPLOY_KEY_PIETERVDVN }}
+        run: |
+          echo "Cloning destination repo"
+          git config --global user.email "pietervdvn@posteo.net"
+          git config --global user.name "pietervdvn"
+          git clone --depth 1 --single-branch --branch main "https://x-access-token:$DEPLOY_KEY_PIETERVDVN@github.com/MapComplete/mapcomplete-dev.git"
+          echo "Destination repo is cloned"
+
+      - name: Sync repo
+        env:
+          DEPLOY_KEY_PIETERVDVN: ${{ secrets.DEPLOY_KEY_PIETERVDVN }}
+        run: |
+          cd mapcomplete-dev
+          git pull
+
+      - name: "Copying files"
+        run: |
+          echo "Deploying"
+          rm -rf mapcomplete-dev/*
+          cp -r dist/* mapcomplete-dev/
+          cd mapcomplete-dev/
+          echo "dev.mapcomplete.org" > CNAME
+          git add *
+          if git status | grep -q "Changes to be committed"
+          then
+            git commit -am "Deploying a new version"
+            git push
+          else
+            echo "No changes to commit"
+          fi
+