aggiornamento comando fetch

omar 2024-09-19 17:29:48 +02:00
parent 29c187c413
commit 871265830c

@ -49,6 +49,11 @@ Per applicarle anche bisogna eseguire il comando **pull**:
[`git pull`](https://git-scm.com/docs/git-pull)
Cancellare rami orfani
[`git fetch --prune`](https://stackoverflow.com/questions/3184555/cleaning-up-old-remote-git-branches)
Per cancellare
## Hard reset del main locale (git RESET)
Nel caso in cui, per motivi vari, si sospetta che `git pull` possa incasinare il repo, procedere come segue:
@ -89,10 +94,4 @@ Da terminale:
git checkout mio-branch
git pull --rebase origin main
git push --force
```
## Creazione tag live nell'upstream
Poichè in ipstream il tag esiste già bisogna forzarlo. Il comando, andato a buon fine, avvierà l'action _build_and_push.yaml_
`git push upstream live --force`
```