Create a library using GIT:
First create a github in the appropriate folder, similar: catkin_ws
then: Open a terminal:
git config --global user
.name your_name
git config --global user
.email ****@gmai.com
Want to upload a file folder
git init
then
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:
first fork someone else's repository to their warehouse, then to a local git clone, a link with the above method, then git push, push request last application on the page Then, merge.