diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/gitget/gitget | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/gitget/gitget b/src/gitget/gitget index 4d127c7..c941441 100755 --- a/src/gitget/gitget +++ b/src/gitget/gitget @@ -116,9 +116,13 @@ download_git_bare() { cd_safe "$dir" # Make sure we are fetching the right repo if [[ "$url" != "$(git config --get remote.origin.url)" ]] ; then - error "%s is not a clone of %s" "$dir" "$url" - plain "Aborting..." - exit 1 + if $FORCE; then + git config remote.origin.url "$url" + else + error "%s is not a clone of %s" "$dir" "$url" + plain "Aborting..." + exit 1 + fi fi if [[ -n $push ]] ; then if $FORCE; then |