Don't forget to set your ssh key in the Gitlab settings !
git remote add all git@github.com:nathan-hoche/CarRacing.git
This will add a new remote called "all" with the URL of the primary repo.
git remote set-url --add --push all git@github.com:nathan-hoche/CarRacing.git
When pushing to the "all" remote, you will push to both the origin and the secondary repo.
git remote set-url --add --push all git@git.cs.kent.ac.uk:gh384/aisystemimplementation-project.git
git push all main
This will push to both the origin and the secondary repo.
You cannot pull from two remotes so you only pull from the primary repo.
git pull origin main