|
|
4bcec25c2e
|
Changed the structure, added README
|
2020-05-17 15:07:53 +01:00 |
|
|
|
2184e036a3
|
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 |
|
|
|
9c881c366e
|
Modification pour lancer le script et éviter le spam de wall vides
|
2020-05-17 14:26:09 +01:00 |
|
|
|
27776d5a12
|
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 |
|
|
|
a26a4e5eaa
|
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 |
|
|
|
ab71845f55
|
Script de mise à jour pour dépôts bare
|
2020-05-17 14:26:09 +01:00 |
|
