From e731a9464d43a5075551b164f480107ccb4edfb6 Mon Sep 17 00:00:00 2001 From: Paul Robinson <5199899+pacrob@users.noreply.github.com> Date: Mon, 17 Jun 2024 11:11:17 -0600 Subject: [PATCH] Update Makefile remove unneeded upstream git check --- Makefile | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Makefile b/Makefile index 46778052..98d53312 100644 --- a/Makefile +++ b/Makefile @@ -106,11 +106,6 @@ ifndef bump endif check-git: - # require that you be on a branch that's linked to upstream/main - @if ! git status -s -b | head -1 | grep -q "\.\.upstream/main"; then \ - echo "Error: You must be on a branch that's linked to upstream/main"; \ - exit 1; \ - fi # require that upstream is configured for ethereum/ @if ! git remote -v | grep "upstream[[:space:]]git@github.com:ethereum/.git (push)\|upstream[[:space:]]https://github.com/ethereum/ (push)"; then \ echo "Error: You must have a remote named 'upstream' that points to ''"; \