name: Pull develop branch

on:
  push:
    branches:
      - develop

jobs:
  sync:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout develop branch
        uses: actions/checkout@v3
        with:
          ref: develop

      - name: Copy source to host
        run: |
          rm -rf /workspace/*
          cp -r $GITHUB_WORKSPACE/* /workspace/