| 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 | 
|  |