add_repo: simplify

diff --git a/add_repo b/add_repo
index 4a6c425c984d84ea7bd058ad00ea7e14f89ec70b..db0970a1d15588a69676806f9aba7480e642ebf0 100755 (executable)
--- a/add_repo
+++ b/add_repo
@@ -13,5 +13,4 @@ branch=$3
 }
 [[ -z "$branch" ]] && branch="master"
 
-git remote add -t "$branch" "$name" "$url"
-git config remote."$name".tagopt "--no-tags"
+git remote add --no-tags -t "$branch" "$name" "$url"