git branch

git branch: a task in scrivania-harbor (Harbor dataset). Resta su main; gli altri branch non si toccano. Nel repository Progetti/agenda rinomina il branch vecchio-nome in esperimento ed elimina il branch prova-temporanea.