diff options
| -rwxr-xr-x | git-remote-gcrypt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/git-remote-gcrypt b/git-remote-gcrypt index 8d68669..9ca9552 100755 --- a/git-remote-gcrypt +++ b/git-remote-gcrypt @@ -505,7 +505,12 @@ ensure_connected() tmp_manifest="$Tempdir/maniF" GET "$URL" "$Manifestfile" "$tmp_manifest" 2>/dev/null || { echo_info "Repository not found: $URL" - return 0 + if ! isnull "$Repoid"; then + echo_info "..but repository ID is set. Aborting." + return 1 + else + return 0 + fi } Did_find_repo=yes |