git remote set-url origin https://joh33-wmko:<token>@github.com/KeckObservatoryArchive/<repo>
GitHub Project Repo (dev) <== pull request <== Personal GitHub Repo (main) <==> local repo (main) <==> local repo
<==> branch feature1_dev
<==> branch feature2_dev
...