Git Setup Complete - Next Steps
I've created a setup script for you. Here's what to do:
Run the Setup Script
cd /share/u/wendler/code/toy-wm-hf-space
chmod +x setup-git.sh
./setup-git.sh
This script will:
- โ Initialize git (if needed)
- โ Remove old SSH remote
- โ
Add HTTPS remote:
https://huggingface.co/spaces/wendlerc/pong - โ Stage all files
- โ Create initial commit (if needed)
- โ
Ensure branch is named
main - โ Show you the push command
After Running the Script
The script will show you the exact command to push. It will be:
git push -u origin main
Before Pushing - Important!
Make sure your Space exists:
- Go to: https://huggingface.co/spaces/wendlerc/pong
- If it doesn't exist, create it:
- Go to: https://huggingface.co/spaces
- Click "Create new Space"
- Name:
pong - SDK: Docker
- Hardware: GPU (T4 small)
- Click "Create Space"
Then Push
git push -u origin main
You'll be prompted for your Hugging Face credentials (username and access token).
If You Need an Access Token
- Go to: https://huggingface.co/settings/tokens
- Create a new token with "write" permissions
- Use it as your password when pushing
The setup script is ready! Just run ./setup-git.sh and follow the instructions.