Repository navigation

Rename `main` → `deploy` and `src` → `main` - #208

Merged

namurphy merged 4 commits into

mainfrom

rename-main-to-deploy-and-src-to-main

Jan 12, 2026

Merged

Rename `main` → `deploy` and `src` → `main`#208
namurphy merged 4 commits into
mainfrom
rename-main-to-deploy-and-src-to-main

Commits on Jan 12, 2026
- Rename branchs in workflow and conf.py
  namurphy
  committed
  2e2f880
- Rename branch in deploy.yml
  namurphy
  committed
  1b91170
- Update branch names
  namurphy
  committed
  b6a6b7c
- Minor updates and corrections
  namurphy
  committed
  5be8126