From 0116c231ddb179987c422aaac570493a6cf6bfde Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Fri, 26 Jul 2024 14:43:02 +0200 Subject: [PATCH] Copy repository settings --- scripts/copy-repo.fish | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/copy-repo.fish b/scripts/copy-repo.fish index 1d0e788ed..36ce67bda 100755 --- a/scripts/copy-repo.fish +++ b/scripts/copy-repo.fish @@ -3,6 +3,7 @@ begin set -l target "$argv[1]" set -l dir "$(status dirname)/.." git clone "$dir" "$target" + cp "$dir/.git/config" "$target/.git/config" git -C "$dir" diff HEAD | git -C "$target" apply --allow-empty &> /dev/null and git -C "$dir" ls-files --exclude-standard --others | \