From 2884dd9ea70b0bfedf1740baa3f70561a7277afe Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Fri, 15 May 2020 02:28:38 -0400
Subject: [PATCH] Fix 'recreate repo' option not being recommended

When updating a package with a changed recipe (e.g. it's branch).
---
 core/core-cli.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/core-cli.el b/core/core-cli.el
index 2aa215247..1bd95c361 100644
--- a/core/core-cli.el
+++ b/core/core-cli.el
@@ -232,7 +232,7 @@ BODY will be run when this dispatcher is called."
     (" has a dirty worktree:"
      . "^Discard changes$")
     ("^In repository "
-     . "^Reset branch "))
+     . "^Reset branch \\|^Delete remote [^,]+, re-create it with correct URL"))
   "A list of regexps, mapped to regexps.
 
 Their CAR is tested against the prompt, and CDR is tested against the presented