remote to local : git clone
local to remote : git init and git push
- Gather of modified files :
git add --all
- Name the group of modification :
git commit -m "your description"
- Send to the cloud/remote repositrory :
git push
- For retrieve modifications from the remote repository
git pull
Don't forget the git status
to keep track of the current state
/* void setup() { println ("HELLO"); } */
We use dev branch to work with other developpers without break the "main" code.
git checkout -b dev