Sync people data across website, CV, and lab-manual#13
Merged
jeremymanning merged 14 commits intomainfrom Mar 24, 2026
Merged
Commits
Commits on Mar 24, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted