Files

2.3 KiB

Esempio di utilizzo di Gitea

Nel video https://www.youtube.com/watch?v=BgpA9aOvpvM si mostra come utilizzare Gitea (o simili) per gestire i branch di sviluppo in un repository.

Creiamo quindi questo repository con questo singolo file:

ReadMe.org

che utilizzeremo per mostrare il metodo, inserendo ciascuno step del metodo come singolo commit di sviluppo. Quindi invece che correggere un bug, o sviluppare una feature, mostreremo il metodo di gestione.

Utilizzo del metodo:

Il tutto consiste in questa sequenza:

  • Clono il repository

      git clone http://mrkalm.ddns.net:34333/MrkPi/_Using_Gitea.git
  • Creo un branch adeguato al fix o feature che voglio fare. In questo caso il branch "ShowMethod"

      git checkout -b ShowMethod
  • Eseguo lo sviluppo, facendo anche più commit locali.
  • Finito lo sviluppo, faccio il commit finale.
  • Eseguo il push del branch nel repository Gitea.
  • In Gitea apro un pull-request indicando il branch appena inserito.
  • Il master, risponderà al pull request e mergerà il fix.
  • Eventualmente eliminare il branch usato per il fix.

Come trasferire su Gitea un repository locale

Per trasferire il tuo repository locale su Gitea, esegui questi passaggi direttamente dal tuo terminale:

  1. Crea un nuovo repository vuoto su Gitea tramite l'interfaccia web (non inizializzarlo con README o .gitignore).
  2. Copia l'URL del nuovo repository Gitea (HTTP o SSH).
  3. Apri il terminale all'interno della cartella del tuo repository locale.
  4. Configura il nuovo remote ed esegui il push digitando:

      # Sostituisci l'URL con quello del tuo repository Gitea
      git remote add origin <URL_REPOSITORY_GITEA>
    
      # Invia tutti i branch e traccia il principale (es. main o master)
      git push -u origin main

    (Nota: se il tuo branch principale locale si chiama ancora master, sostituisci main con master).

Se il repository locale ha già un vecchio origin configurato (ad esempio GitHub) e vuoi sostituirlo completamente, usa questo comando prima del push:

  git remote set-url origin <URL_REPOSITORY_GITEA>

Se desideri mantenere traccia di tutti i branch locali e di tutti i tag nel trasferimento, usa questi comandi:

  git push origin --all
  git push origin --tags