使用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。
