add_repo: copy the git config to ../etc when we add a repo

diff --git a/add_repo b/add_repo
index db0970a1d15588a69676806f9aba7480e642ebf0..98cf1aed341c5325e204110e1e95442a7150c10e 100755 (executable)
--- a/add_repo
+++ b/add_repo
@@ -14,3 +14,7 @@ branch=$3
 [[ -z "$branch" ]] && branch="master"
 
 git remote add --no-tags -t "$branch" "$name" "$url"
+
+cp .git/config ../etc/git-config
+
+exit 0