2222 env :
2323 HF_TOKEN : ${{ secrets.HF_TOKEN }}
2424 run : |
25- rsync -av --relative codetide/agents/tide/ui/.chainlit/ examples/hf_demo_space/
26- rsync -av --relative codetide/agents/tide/ui/public/ examples/hf_demo_space/
27- rsync -av --relative codetide/agents/tide/ui/chainlit.md examples/hf_demo_space/
25+ cp --parents -r codetide/agents/tide/ui/.chainlit/* examples/hf_demo_space/
26+ cp --parents -r codetide/agents/tide/ui/public/* examples/hf_demo_space/
27+ cp --parents codetide/agents/tide/ui/chainlit.md examples/hf_demo_space/
2828 cp -r codetide/agents/tide/ui/chainlit.md examples/hf_demo_space/
2929 cd examples/hf_demo_space
3030 git init --initial-branch=main
@@ -33,11 +33,13 @@ jobs:
3333 git remote add origin https://McLoviniTtt:$HF_TOKEN@huggingface.co/spaces/McLoviniTtt/AgentTideDemo
3434 git add .
3535 git commit -m "Deploy Agent Tide Demo to HF Space"y
36- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch agent-tide-demo.gif" HEAD
37- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch avatars/agent_tide.png" HEAD
38- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch codetide-banner.png" HEAD
39- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch logo_dark.png" HEAD
40- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch logo_light.png" HEAD
36+ git filter-branch --force --index-filter "
37+ git rm --cached --ignore-unmatch public/agent-tide-demo.gif
38+ git rm --cached --ignore-unmatch public/avatars/agent_tide.png
39+ git rm --cached --ignore-unmatch public/codetide-banner.png
40+ git rm --cached --ignore-unmatch public/logo_dark.png
41+ git rm --cached --ignore-unmatch public/logo_light.png
42+ " HEAD
4143 git for-each-ref --format="delete %(refname)" refs/original | git update-ref --stdin
4244 git reflog expire --expire=now --all
4345 git gc --prune=now
0 commit comments