Update Appunti

omar 2024-06-26 09:01:48 +00:00
parent c9ad5a749a
commit dd2711350b

@ -65,7 +65,7 @@ git pull upstream main
git push origin main git push origin main
``` ```
## Avanzamento di un branch (da eseugire prima di un a PR) ## Avanzamento di un branch (da eseguire prima di un a PR)
È possibile eseguire questo aggiornamento anche via web: dopo aver inviato una PR, nella scheda è presente un pulsante per eseguire il rebase. È possibile eseguire questo aggiornamento anche via web: dopo aver inviato una PR, nella scheda è presente un pulsante per eseguire il rebase.