From f631377a8647411d0743466a9e63afd2169219d9 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 | \