From 889d7c1a3088ae4d532b434a6c38edefc41b7c81 Mon Sep 17 00:00:00 2001 From: Denis Laxalde Date: Sun, 8 Dec 2019 18:07:30 +0100 Subject: [PATCH] gitsrht-shell: exit after 'repository moved' notice --- gitsrht-shell/main.go | 1 + 1 file changed, 1 insertion(+) diff --git a/gitsrht-shell/main.go b/gitsrht-shell/main.go index 19e890a..7d39e42 100644 --- a/gitsrht-shell/main.go +++ b/gitsrht-shell/main.go @@ -318,6 +318,7 @@ func main() { log.Println() log.Printf("\t%s/~%s/%s", origin, repoOwnerName, repoName) log.Println() + os.Exit(128) } } -- 2.38.4