lewtun HF Staff OpenAI Codex commited on
Commit
7b561e3
·
unverified ·
1 Parent(s): 8615c28

Document HF Space deploy flow (#207)

Browse files

Co-authored-by: OpenAI Codex <codex@openai.com>

Files changed (1) hide show
  1. AGENTS.md +17 -0
AGENTS.md CHANGED
@@ -18,3 +18,20 @@ Notes:
18
  ## GitHub CLI
19
 
20
  - For multiline PR descriptions, prefer `gh pr edit <number> --body-file <file>` over inline `--body` so shell quoting, `$` env-var names, backticks, and newlines are preserved correctly.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
18
  ## GitHub CLI
19
 
20
  - For multiline PR descriptions, prefer `gh pr edit <number> --body-file <file>` over inline `--body` so shell quoting, `$` env-var names, backticks, and newlines are preserved correctly.
21
+
22
+ ## Hugging Face Space Deploys
23
+
24
+ - The Space remote is `space` and points to `https://huggingface.co/spaces/smolagents/ml-intern`.
25
+ - Deploy GitHub `main` to the Space from the local `space-main` branch by merging `origin/main` into `space-main` with a single merge commit, then pushing `space-main:main` to the `space` remote.
26
+ - Keep the Space-only README frontmatter on `space-main`; `.gitattributes` should contain `README.md merge=ours` and the local repo config should include `merge.ours.driver=true`.
27
+ - Recommended deploy flow:
28
+
29
+ ```bash
30
+ git pull --ff-only origin main
31
+ git switch space-main
32
+ git config merge.ours.driver true
33
+ git merge --no-ff origin/main -m "Deploy $(date +%Y-%m-%d)" \
34
+ -m "Co-authored-by: OpenAI Codex <codex@openai.com>"
35
+ git push space space-main:main
36
+ git switch main
37
+ ```