[CLI] spaces hot-reload: misc improvements #4049
cbensimon
merged
24 commits into
main
from
spaces-hot-reload-wait
[CLI] Space hot-reload: wait for up-to-date infos
a023dd4e
cursor
commented
on 2026-04-03
Assert parent commit when possible
dd2c0ea7
hanouticelina
requested changes
on 2026-04-07
Update src/huggingface_hub/cli/spaces.py
2751eae1
cursor
commented
on 2026-04-07
Increase httpx timeout from 5s (default) to 10s
0cfb780d
Revert "Update src/huggingface_hub/cli/spaces.py"
a0ceaea6
Write to stderr
ad42bffa
cursor
commented
on 2026-04-07
local_file is a PATH
ae8ef8e8
Docs update
a081b62c
Much more Agent friendly
6867c507
Fix skipped commit scenario
0c756d91
git pull hint when relevant
47d616ab
cbensimon
changed the title
cursor
commented
on 2026-04-07
Fix 'Path type change breaks path_in_repo on Windows'
afea80d2
TODO
bb12c006
Update TODO
4e1b016b
cbensimon
changed the title
quick and dirty replica vs. reload not found
013ccc41
Proper 204 vs. 404 warn and retry
caa3bacd
Merge branch 'main' into spaces-hot-reload-wait
90f7cf26
mypy is dumb
5af56356
status can be null
7a92ddbd
Increase timeout to 20s given SSEStarlette default ping value (15s)
5b138d89
Do not fail on unknown events
0ee6ad9f
local_path can't be None
1195b299
Handle file events
36ddcb46
Merge branch 'main' into spaces-hot-reload-wait
7fe4b07e
Wauplin
approved these changes
on 2026-04-22
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub