Copy repository settings

2024-07-26 14:43:02 +02:00 · 2024-07-26 14:43:02 +02:00 · 4d6e916750
commit 4d6e916750
parent c7efcdec73
1 changed files with 1 additions and 0 deletions
--- 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 | \