Merge pull request 'dev' (#4) from dev into main

Reviewed-on: #4
This commit was merged in pull request #4.
This commit is contained in:
2025-12-02 18:14:37 +00:00
4 changed files with 20 additions and 0 deletions

Binary file not shown.

Binary file not shown.

Binary file not shown.

20
GIT.md
View File

@@ -1,4 +1,24 @@
# Git Commands
## Show current branch
``git status``
## Show local and online branches
``git branch -a``
# Workflow
```
git status # show our current branch
git switch or git pull # switch to dev / main and pull
git checkout -b "branch-name" # create an new branch based on the current one
git status # show again the current branch
DO YOUR WORK HERE, EDIT ADD FILES...
git status # show what we have edited / added
git add . # add all the edits
git commit -m "your message" # this makes the commit locally
git push # sends your commit to the public branch and awaits for pr processing
or
git push --set-upstream origin "branch-name" # this can be asked for the fist time only because the branch does not exists online
```