You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
website/_content/guide/guida-git.md

665 B

id title tags publish_date description
guida-git Guida a Git git 2022/08/27 22:00 Vedremo come creare una repository Git per tracciare i cambiamenti di una serie di file nel tempo, e molto altro.

A cosa serve

Creiamo una repository git

Nonostante per grossi progetti sia comodo usare server Git come github.com, che essendo popolare attirerà l'attenzione di più potenziali contributors, per progetti personali o di piccola scala va benissimo utilizzare un server self-hostato: in questo caso noi useremo il server del PHC.

Per prima cosa, visitiamo git.phc.dm.unipi.it ed accediamo con le credenziali di

Comandi di base