PyWebIO/.github/workflows/sync_repo.yml

name: Sync with mirror repo
on:
  push:
    branches:
      - dev
  repository_dispatch:

jobs:
  sync:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@master
      - name: Set up Python 3.7
        uses: actions/setup-python@v1
        with:
          python-version: 3.7
      - name: Set up Node.js
        uses: actions/setup-node@v2
        with:
          node-version: '14'
      - name: Build frontend
        working-directory: ./webiojs
        run: |
          npm install
          gulp
          cp dist/pywebio.min.* ../pywebio/html/js
      - name: Build doc demos
        run: |
          pip3 install -e ".[all]"
          pip3 install -r requirements.txt
          cd docs && CODE_EXPORT_PATH=../demos/doc_demos make clean html
      - name: Set dev version
        run: python3 tools/build_dev_version.py
      - name: Push
        run: |
          git fetch --unshallow origin
          git remote add aliyun "https://code.aliyun.com/wang0618/pywebio.git"
          git config credential.helper '!f() { sleep 1; echo "username=${ALIYUN_GIT_USER}"; echo "password=${ALIYUN_GIT_PASSWORD}"; }; f'
          rm .gitignore
          git add pywebio/__version__.py
          git add pywebio/html/js
          git add demos/doc_demos
          git config user.email "${ALIYUN_GIT_USER}"
          git config user.name "${ALIYUN_GIT_USER}"
          git commit --amend --no-edit
          git push -f -u aliyun --tags || true
          git push -f -u aliyun || true
        env:
          ALIYUN_GIT_USER: ${{ secrets.ALIYUN_GIT_USER }}
          ALIYUN_GIT_PASSWORD: ${{ secrets.ALIYUN_GIT_PASSWORD }}