diff options
| -rw-r--r-- | services/git.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/services/git.md b/services/git.md index ae08a19..b252676 100644 --- a/services/git.md +++ b/services/git.md @@ -31,12 +31,12 @@ moment. La branche affichée par défaut dans l'interface web est `master`. Il est possible de la changer en modifiant le fichier `HEAD` du dépôt. Par exemple pour la remplacer par la branche `main` : - echo "ref: refs/heads/main" | ssh <login>@club1.fr tee git/<repo>/HEAD + echo "ref: refs/heads/main" | ssh <login>@club1.fr sponge git/<repo>/HEAD De la même manière, pour modifier la description du dépôt (cette modification ne sera pas forcément visible tout de suite à cause du cache de cgit) : - echo "ma super description" | ssh <login>@club1.fr tee git/<repo>/description + echo "ma super description" | ssh <login>@club1.fr sponge git/<repo>/description Il y a ensuite deux cas de figure : |