riccardoAlbertoni
commented
8 months ago git fetch origin
aggiorna la storia guardando cosa c'è in remoto
git checkout nomebranch
ti mette sul branch in cui vuoi lavorare
quindi
git pull origin nomebranch
tira giù le modifiche
se hai fatto delle modifiche in locale, invece che il pull fai
git merge origin/nomebranch
git branch
per sapere il nome del branch
git status
va sempre bene per capire quale è la situazione
modifichi un locale,
quindi fai
git add file
per mettere I file in stage
git commit -m " messaggio "
git push origin branch
per uplodareble modifiche sul server
Il gio 7 mar 2024, 09:25 TizianaPasciuto @.***> ha scritto:
Ciao Riccardo, per apportare queste modifiche ho creato una nuova branch, ma dato che devo aprire il file su protege, volevo visualizzare questo materiale in locale. Ricordo che per fare questo devo utilizzare il comando pull, ma non sto riuscendo. Puoi riassumermi i comandi qui? Altrimenti ci sentiamo. Scusami tanto!
— Reply to this email directly, view it on GitHub https://github.com/TizianaPasciuto/CTP_Ontology/issues/4#issuecomment-1982907491, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAOKDNZZEZFR5AXBUQMM77DYXAQADAVCNFSM6AAAAABEI453HWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSOBSHEYDONBZGE . You are receiving this because you authored the thread.Message ID: @.***>
Ciao Riccardo, per apportare queste modifiche ho creato una nuova branch, ma dato che devo aprire il file su protege, volevo visualizzare questo materiale in locale. Ricordo che per fare questo devo utilizzare il comando pull, ma non sto riuscendo. Puoi riassumermi i comandi qui? Altrimenti ci sentiamo. Scusami tanto!