Pull the Latest Changes from GitHub

Change to the correct git-enabled directory:

cd repos/common_platform

Stash any changes you have made:

git stash

Update the Git remote for the public repo so you don’t need credentials. You should only need to do this step once.

git remote set-url origin "https://github.com/RoseCityRobotics/common_platform.git"

Pull the changes

git pull origin main

Re-apply your stashed changes

git stash apply