|
|
0757988b4d
|
Correction pour prendre en compte les cas chelous où c'est à jour pas pas de [up to date]
|
2020-05-17 14:26:09 +01:00 |
|
|
|
92062ff013
|
Modification pour lancer le script et éviter le spam de wall vides
|
2020-05-17 14:26:09 +01:00 |
|
|
|
2ac286797b
|
Correction du cas où on a des commits locaux donc le fetch indique quelque chose
Gestion de plusieurs dépôts par un script
Changements utilitaires pour le wall
|
2020-05-17 14:26:09 +01:00 |
|
|
|
e5bd0ff9d4
|
Modifié car git output principalement sur stderr
Modification pour vérifier si c'est bien un dépôt git (Pour les bare, qui n'ont donc pas de .git)
|
2020-05-17 14:26:09 +01:00 |
|
|
|
398e4a5643
|
Script de mise à jour pour dépôts bare
|
2020-05-17 14:26:09 +01:00 |
|
