git-repo

commit c6e6b606ad0e2fbec525bb7fcc31024b87ea60bf
parent 5654d2210a26460793c649616d0dc25ab0971fad
Author: Vincent Forest <vincent.forest@meso-star.com>
Date:   Wed, 25 Sep 2024 14:14:13 +0200

Correct repository sharing

The configuration of the git repository failed because it was done
outside the repository.

Diffstat:
M
git-repo
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/git-repo b/git-repo
@@ -38,6 +38,7 @@ share() # repo, group
     chown -R :"$2" "$1"
     find "$1" -type f -exec chmod "g+w" {} \;
     find "$1" -type d -exec chmod "g+ws" {} \;
+    cd -- "$1"
     git config --local core.sharedRepository group
 
   # Do not share the repository and define the group as the user's group
@@ -46,6 +47,7 @@ share() # repo, group
     chown -R :"${g}" "$1"
     find "$1" -type f -exec chmod "g-w" {} \;
     find "$1" -type d -exec chmod "g-ws" {} \;
+    cd -- "$1"
     git config --local core.sharedRepository false
   fi
 }