-
Notifications
You must be signed in to change notification settings - Fork 1
[GitHub] Aggiornamento grafo e merge su master
Prima o poi implementeremo tutta la procedura in automatico usando le actions di github, ma nel frattempo... Questa guida indica quali passi fare quando si vuole aggiornare il grafo o si fa un merge su master
La branch update_grafo è una branch di master. La ratio dietro a questa branch è avere un modo semplice per aggiornare i grafi se troviamo degli errori (solitamente colelgamenti di archi), senza però dover compromettere il work in progress della branch dev. Per questo motivo la branch update_grafo deve essere sempre al pari con master, al massimo avrà i file dei grafi aggiornati. Ovviamente anche la branch dev dovrà avere i nuovi grafi. Di seguito quindi le istruzioni su come fare per ottenere ciò!
Qua i passaggi se si vuole semplicemente aggiornare il grafo
- modifiche del grafo effettuate SOLO nella branch update_grafo
git push update_grafo
- Aggiorna il project del grafo spostando la issue relativa nella colonna "in update_grafo" o aggiungendo a quella colonna una nota.
- merge update_grafo in master
git checkout master
git merge update_grafo
- merge update_grafo in dev
git checkout dev
git merge update_grafo
- Se stai lavorando in una branch diversa fai il merge di update_grafo anche nella tua branch
In questo modo la branch update grafo sarà sempre al passo con master e le altre branch avranno anche loro i nuovi grafi
Qua i passaggi se si vuole aggiornare il codice su master (Il push diretto su master deve essere evitato! I push vanno fatti tramite merge della branch dev)
- merge dev in master
git checkout master
git merge dev
- merge dev in update_grafo
git checkout update_grafo
git merge dev
In questo modo la branch update grafo sarà sempre al passo con master