git 的使用基本教程

使用GIT创建库： 
首先在github上创建一个相应的文件夹，类似：catkin_ws 
然后：打开一个终端：

git config --global user.name your_name

git config --global user.email ****@gmai.com

在想要上传的文件夹中

git init

然后

git remote add your_name https://git_adress.name

git remote -v

git status

git commit -a / git commit -m "comment of your want"

git push your_name master / git push -u origin master

push request: 
首先 fork 别人的repository 到自己的仓库，然后git clone 到本地，用上面的方法进行link，然后git push，最后在网页上申请push request 然后，进行merge。