From 4d6e9167509ca66daf2e792435885da41fc62fb6 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 1d0e788e..36ce67bd 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 | \