server

Come verificare il repository git?

Reading Time: < 1 minute

In questo post cerchiamo di spiegare come è possibile verificare il repository git attualmente in uso nel progetto a cui stiamo lavorando.

Stiamo ormai lavorando al nostro progetto da un po di tempo, interagiamo con il reposityory git come da routine, con merge push pull ecc, ma non ci ricordiamo quale sia la url o path di questo repository.

Abbiamo necessità di verificare quale sia la url o il path del repository git con cui stiamo lavorando, banalmente perchè dobbiamo condividerla con un nostro nuovo collega. Possiamo farlo in diversi modi.

Dirà qualcuno che, il modo più semplice, è utilizzare l’interfaccia messa a disposizione dal servizio, andare nel repository e nella sezione dedicata recuperare quello che ci serve.

Tutto vero ed estremamente semplice se utiliziamo gitlab, github, phabricator o altro servizio o interfaccia web.

Noi però siamo dei veri smanettoni e vogliamo verificarlo utilizzando la bash o git-bash, o semplicemente abbiamo un server senza interfaccia dedicata a git, e possiamo farlo in due modi, con il comando git config –list o aprendo il file .git/config

Il comando git config –list mostra la configurazione completa del repository locale; come vediamo di seguito, tra i parametri, è presente anche il parametro remote.origin.url che contiene il path/url del repository remoto.

Questo l’elenco completo dei parametri

credential.helper=
user.name=
user.email=
core.repositoryformatversion=0
core.filemode=true
core.bare=false
core.logallrefupdates=true
core.ignorecase=true
core.precomposeunicode=true
remote.origin.url=
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*
branch.master.remote=origin
branch.master.merge=refs/heads/master

Aprendo il file .git/config la configurazione del repository locale si presenta in questo modo

[core]
repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
ignorecase = true
precomposeunicode = true
[remote "origin"]
url =
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master

e il parametro che mostra la url/path del repository remoto è il parametro url

wallaceer

Recent Posts

Bash monitor per linux server con alerts

Il progetto che prevedeva uno script bash per il monitoraggio, tramite crontab, delle risorse di…

1 settimana ago

RicetteUmbre: da sito web ad app mobile con React Native e AI

Portare un progetto editoriale sullo smartphone non significa necessariamente riscriverlo da zero. Con RicetteUmbre abbiamo…

2 settimane ago

Monitorare le risorse di un server o computer linux in modo semplice

Reading Time: 2 minutesMonitorare le risorse di un server o computer linux in modo semplice…

1 anno ago

Esclusione di prodotti da una regola a catalogo in Magento 2

Reading Time: < 1 minuteEsclusione di una serie di prodotti selezionati tramite l'apposito menù e…

4 anni ago

Traduzione di testo con googletranslate

Reading Time: < 1 minuteNel video che vedete di seguito, a titolo di esempio, ho…

4 anni ago

Restart di php-fpm con capistrano dopo un deploy

Reading Time: 2 minutesVediamo come è possibile fare il restart di php-fpm con capistrano dopo…

4 anni ago