aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xgit-remote-gcrypt7
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