hf_space_push.yml

name: Sync Agent Tide Demo to Hugging Face Space
on:
  push:
    branches: [main]    
    tags: [ "*" ]
  release:
    types: [published, created, edited]
    
  workflow_dispatch:

jobs:
  sync-to-hub:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout repo
        uses: actions/checkout@v3
        with:
          fetch-depth: 0
          lfs: true

      - name: Deploy examples/hf_demo_space to HF Space
        env:
          HF_TOKEN: ${{ secrets.HF_TOKEN }}
        run: |
          rsync -av codetide/agents/tide/ui/.chainlit/ examples/hf_demo_space/.chainlit/
          rsync -av codetide/agents/tide/ui/public/ examples/hf_demo_space/public/
          cp codetide/agents/tide/ui/chainlit.md examples/hf_demo_space/
          cd examples/hf_demo_space
          git init --initial-branch=main
          git config user.name "github-actions[bot]"
          git config user.email "github-actions[bot]@users.noreply.github.com"
          git remote add origin https://McLoviniTtt:$HF_TOKEN@huggingface.co/spaces/McLoviniTtt/AgentTideDemo
          git add .
          git commit -m "Deploy Agent Tide Demo to HF Space"y
          git filter-branch --force --index-filter "
            git rm --cached --ignore-unmatch public/agent-tide-demo.gif
            git rm --cached --ignore-unmatch public/avatars/agent_tide.png
            git rm --cached --ignore-unmatch public/codetide-banner.png
            git rm --cached --ignore-unmatch public/logo_dark.png
            git rm --cached --ignore-unmatch public/logo_light.png
          " HEAD
          git for-each-ref --format="delete %(refname)" refs/original | git update-ref --stdin
          git reflog expire --expire=now --all
          git gc --prune=now
          git push --force --all