Index: git-cl |
diff --git a/git-cl b/git-cl |
index 2c77654f3c703848e06ff0eb55d225f757294710..48cc4cdf2ddb8f035efbf01d82a5286616e4b317 100755 |
--- a/git-cl |
+++ b/git-cl |
@@ -9,19 +9,8 @@ url="http://git.chromium.org/git/git-cl.git" |
cur_url=$(git config -f "$repo/.git/config" remote.origin.url) |
if [ -e "$repo" -a "$cur_url" != "$url" ]; then |
- cat <<EOF |
-$repo |
-is tracking a non-default remote repository: |
- |
- default: $url |
- yours: $cur_url |
- |
-This is intended to be an automatically-updating, read-only repository. |
-Please create a separate repository for making changes to git-cl, move your |
-modifications there, and then run: |
- rm -rf $repo |
-EOF |
- exit 1 |
+ # Always override "origin" |
+ (cd "$repo"; git remote set-url origin $url) |
fi |
if [ ! -f "$repo/git-cl" ]; then |