The repository for Prof. Kruger's EE-553 Robosim project.
GitHub has a great guide on how to do this!
This guide
will show you how to load ssh-agent when your terminal starts and add a new
SSH key to ssh-agent and GitHub
In this instance, you'll need to change the remote url that git is pointing to.
This can be done with a single git command that changes which website the remote
called origin is pointing at. Once you run this, try to push again and you
should be good to go!
Git command:
git remote set-url origin [insert your forked repo SSH link here]If you get this error, then most likely you are trying to push directly to the repository and do not have write access. Please fork the repository, add your changes to there, and then submit a pull request using the instructions from this section.
This guide is specifically written for creating a pull request from a fork, but the general guide on creating a pull request should be just as useful.
If you do need help with forking and submitting a pull request, then please go to the issues tab of this repository and open an issue.
GitHub also has an excellent guide on how to create a pull request: This guide
I personally use the CLI, but doing it through the website works just as well.