Update README.md

README.md

@@ -65,9 +65,19 @@ The app uses `auth="huggingface"` which automatically handles OAuth. Users must
 
 ## Local Development
 
-To run locally:
+Prepare local dev environment:
 
 ```bash
+# Clone git repo
+git clone git@github.com:junglebrain/2025AHAIC.git
+# enter dir
+cd 2025AHAIC
+# add Hugging Face Space as remote (replace key)
+git remote add space https://:{HF_KEY}@huggingface.co/spaces/hfu-ahaic/agent-lab
+# add special "all" remote to allow pushing to both remotes simultanously
+git remote add all git@github.com:junglebrain/2025AHAIC.git
+git remote set-url --add --push all https://:{HF_KEY}@huggingface.co/spaces/hfu-ahaic/agent-lab
+git remote set-url --add --push all git@github.com:junglebrain/2025AHAIC.git
 # Install uv package manager
 curl -LsSf https://astral.sh/uv/install.sh | sh
 # Mac OS (might differ on other OSs)
@@ -78,6 +88,16 @@ uv venv ahaic --python 3.11
 source ahaic/bin/activate
 # Install dependencies
 uv pip install -r requirements.txt
+```
+
+Now you can make edits, commit, then push changes jointly to GitHub + Hugging Face Space:
+```bash
+git push all
+```
+
+Run locally:
+
+```bash
 # Set environment variables
 export OPENAI_API_KEY=your_key_here
 # Run the app