From 1a66cee9d4090a6a18121e8ca49a88eb81ba0b42 Mon Sep 17 00:00:00 2001 From: Jerome Picault Date: Mon, 20 Jul 2026 13:56:32 +0000 Subject: [PATCH] fix(hf-sync): default HF Space owner to picault, not the GitHub owner MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The sync workflow pushed to huggingface.co/spaces//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. --- .github/workflows/sync-hf-space.yml | 10 ++++++---- README.md | 5 +++-- 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/.github/workflows/sync-hf-space.yml b/.github/workflows/sync-hf-space.yml index 58833ab..8135df2 100644 --- a/.github/workflows/sync-hf-space.yml +++ b/.github/workflows/sync-hf-space.yml @@ -5,10 +5,10 @@ name: Sync to Hugging Face Space # 0.0.0.0:8080 — matched by `app_port: 8080` in the Space metadata). # # One-time setup (see README → "Deploy to Hugging Face Spaces"): -# 1. Create a Docker Space on huggingface.co. +# 1. Create a Gradio Space on huggingface.co. # 2. Add a repo secret HF_TOKEN (a HF access token with write scope). -# 3. Optionally set repo variables HF_USERNAME / HF_SPACE (they default to the -# GitHub owner and "conflens"). +# 3. Optionally set repo variables HF_USERNAME / HF_SPACE (they default to +# "picault" and "conflens"). # 4. Add your LLM API keys as *Space* secrets in the Space settings. on: push: @@ -42,7 +42,9 @@ jobs: - name: Push to Hugging Face Space env: HF_TOKEN: ${{ secrets.HF_TOKEN }} - HF_USERNAME: ${{ vars.HF_USERNAME || github.repository_owner }} + # HF owner defaults to 'picault' (the HF username differs from the + # GitHub owner 'picaultj'); override with the HF_USERNAME repo variable. + HF_USERNAME: ${{ vars.HF_USERNAME || 'picault' }} HF_SPACE: ${{ vars.HF_SPACE || 'conflens' }} run: | set -euo pipefail diff --git a/README.md b/README.md index c721cae..c5cbcdb 100644 --- a/README.md +++ b/README.md @@ -114,8 +114,9 @@ Action mirrors `main` to the Space on every push, so it stays in sync. scope (Settings → Access Tokens) and add it to this GitHub repo as a secret named **`HF_TOKEN`** (Settings → Secrets and variables → Actions). 3. **Point the action at your Space** *(optional)* — the workflow defaults to - owner = the GitHub repo owner and space = `conflens`. If your Space differs, - set repo **variables** `HF_USERNAME` and `HF_SPACE`. + owner `picault` and space `conflens` (the HF username differs from the GitHub + owner). If your Space differs, set repo **variables** `HF_USERNAME` and + `HF_SPACE`. 4. **Add your API keys as *Space* secrets** — in the Space's *Settings → Variables and secrets*, add whatever your provider needs (e.g. `ANTHROPIC_API_KEY`, or `OPENAI_API_KEY` / `OPENAI_BASE_URL`; see