File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -26,17 +26,11 @@ jobs:
2626 rsync -av codetide/agents/tide/ui/public/ examples/hf_demo_space/public/
2727 cp codetide/agents/tide/ui/chainlit.md examples/hf_demo_space/
2828 cd examples/hf_demo_space
29+ git lfs install
2930 git init --initial-branch=main
3031 git config user.name "github-actions[bot]"
3132 git config user.email "github-actions[bot]@users.noreply.github.com"
3233 git remote add origin https://McLoviniTtt:$HF_TOKEN@huggingface.co/spaces/McLoviniTtt/AgentTideDemo
3334 git add .
3435 git commit -m "Deploy Agent Tide Demo to HF Space"y
35- git filter-branch --force --index-filter "
36- git rm --cached --ignore-unmatch public/agent-tide-demo.gif
37- git rm --cached --ignore-unmatch public/avatars/agent_tide.png
38- git rm --cached --ignore-unmatch public/codetide-banner.png
39- git rm --cached --ignore-unmatch public/logo_dark.png
40- git rm --cached --ignore-unmatch public/logo_light.png
41- " HEAD
4236 git push --force --all
Original file line number Diff line number Diff line change 1+ *.png
2+ *.gif
You can’t perform that action at this time.
0 commit comments