Git Commands
to clone a repository: git clone my_git_address Branches list local branches:
Setting up Git
git config –global user.email "danaukes@gmail.com" git config –global user.name "Dan Aukes" Update git roscd thorlabs_linear_actuator/ git status git add -A git commit -m="<INSERT YOUR MESSAGE HERE>" git push # supply username and pw
06-Install and Setup git
Git Git is the command line program for interacting with a git repository
08-install gitman
Gitman is my python based package for scanning a computer and pulling all your repositories off.
Gitman repository manager
A nice little package for synchronizing git repositories all over your computer
About Me
I am a Robotics Researcher, director of the IDEAlab, and Assistant Professor in the Ira A.
Know More