Skip to content

fix(hf-sync): default HF Space owner to picault, not the GitHub owner - #20

Merged
picaultj merged 1 commit into
mainfrom
fix/hf-space-username
Jul 20, 2026
Merged

fix(hf-sync): default HF Space owner to picault, not the GitHub owner#20
picaultj merged 1 commit into
mainfrom
fix/hf-space-username

Conversation

@picaultj

Copy link
Copy Markdown
Owner

Problem

The Sync to Hugging Face Space workflow fails on every run:

Syncing to https://huggingface.co/spaces/picaultj/conflens
remote: Repository not found
fatal: repository 'https://huggingface.co/spaces/picaultj/conflens.git/' not found

HF_USERNAME defaulted to github.repository_owner (picaultj), but the Space is picault/conflens — the Hugging Face username differs from the GitHub owner. So it pushed to a non-existent picaultj/conflens.

Fix

  • Default HF_USERNAME to picault (still overridable via the HF_USERNAME repo variable).
  • Correct stale comments: the workflow header said "Create a Docker Space" and "defaults to the GitHub owner" — now "Gradio Space" and "picault", matching the current Gradio SDK deployment. README setup note updated too.

After this merges, the next push to main (or a manual Run workflow) will sync to picault/conflens.

Testing

  • Workflow validated as well-formed YAML.
  • Verified against the failing run log: the only error was the wrong owner in the push URL; auth/token and the rest of the workflow are fine.

Note: this assumes the HF_TOKEN secret belongs to picault with write access to that Space (it was created under that account). If the Space is actually a Docker Space, change it to Gradio (or recreate as Gradio → Blank) so it matches the repo's sdk: gradio metadata.


Generated by Claude Code

The sync workflow pushed to huggingface.co/spaces/<github-owner>/conflens
(picaultj/conflens), which doesn't exist — the HF username is "picault". Default
HF_USERNAME to "picault" (still overridable via the HF_USERNAME repo variable),
and correct the stale "Docker Space" / "GitHub owner" notes in the workflow
header and README.
@picaultj
picaultj merged commit e38ee81 into main Jul 20, 2026
2 of 4 checks passed

Copy link
Copy Markdown
Owner Author

Closing: HF Gradio Spaces are no longer free, so the Hugging Face deployment (and this sync workflow) is being removed in #22. No longer needed.


Generated by Claude Code

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant