name: Deploy to Production on: workflow_dispatch: jobs: deploy-production: runs-on: ubuntu-latest if: ${{ contains(fromJson(vars.PROD_DEPLOYMENT_ALLOWED_USERS), github.actor) }} env: HF_TOKEN: ${{ secrets.HF_TOKEN }} steps: - uses: actions/checkout@v4 with: fetch-depth: 0 lfs: true ref: main - name: Set up git identity run: | git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" - name: Push to hub env: HF_TOKEN: ${{ secrets.HF_TOKEN }} run: git push https://pesu-dev:$HF_TOKEN@huggingface.co/spaces/pesu-dev/askpesu-db main:main --force