use gid instead of group name

2026-06-18 10:13:25 +02:00
parent 52c0208198
commit 7af539d0ab
1 changed files with 1 additions and 1 deletions
@@ -38,7 +38,7 @@ cd "$DESTINATION_DIR"
 "$GITHUB_WORKSPACE/pixi" install --all

 # copy owner group from level above
-group=$(stat -c '%G' ..)
+group=$(stat -c '%g' ..)
 chgrp -R "$group" .

 # copy permissions from owner to owner group