From 4d17820fca41d23d1e69cfd21282cd6e89f03231 Mon Sep 17 00:00:00 2001 From: fselmo Date: Mon, 27 Nov 2023 13:02:31 -0700 Subject: [PATCH] Further generalize the grep command for remote check --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 6afbaf3a..c5956da1 100644 --- a/Makefile +++ b/Makefile @@ -67,9 +67,7 @@ notes: check-bump release: check-bump clean # require that upstream is configured for ethereum/ - @git remote -v | grep \ - -e "upstream\tgit@github.com:ethereum/.git (push)" \ - -Ee "upstream\thttps://(www.)?github.com/ethereum/ \(push\)" + @git remote -v | grep -E "upstream\tgit@github.com:ethereum/.git \(push\)|upstream\thttps://(www.)?github.com/ethereum/ \(push\)" # verify that docs build correctly ./newsfragments/validate_files.py is-empty make build-docs