Initial Setup (One-time)

1. Get your GitHub token

If you have GitHub CLI installed:

gh auth token

Copy the token that's displayed (starts with gho_ or ghp_)

2. Clone repo in SolveIt with token

git clone https://YOUR_TOKEN@github.com/username/repo-name.git

cd repo-name

3. Configure remote to use token for future operations

git remote set-url origin https://YOUR_TOKEN@github.com/username/repo-name.git

Daily Workflow

Pull latest changes (before working)

git pull origin main

Push your changes (after making edits)

git add .

git commit -m "Updated notebooks in SolveIt"

git push origin main

Back in your nbdev environment (to sync changes)

git pull origin main

nbdev_prepare # Export notebooks to Python modules

Key Points

• ✅ Token authentication works for both initial clone and ongoing push/pull
• ✅ Your .ipynb files work as "dialogs" in SolveIt
• ✅ Changes sync bidirectionally through Git
• ✅ No need for SSH keys in SolveIt environment
• ✅ GitHub CLI (gh auth token) makes getting the token easy