Fix 'recreate repo' option not being recommended

When updating a package with a changed recipe (e.g. it's branch).
This commit is contained in:
Henrik Lissner 2020-05-15 02:28:38 -04:00
parent ea18c83c0a
commit 2884dd9ea7
No known key found for this signature in database
GPG Key ID: 5F6C0EA160557395

View File

@ -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