From 8a9f4b7be1f0972ed0e11250e2b617a89a7d7bf5 Mon Sep 17 00:00:00 2001
From: "D. Mitch Bailey" <d.mitch.bailey@gmail.com>
Date: Wed, 24 Aug 2022 16:27:30 -0700
Subject: [PATCH] git pull won't work on detached HEAD. Added repo and tag.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index bc049d44..0664e1b9 100644
--- a/Makefile
+++ b/Makefile
@@ -89,7 +89,7 @@ simlink: check-caravel
 # Update Caravel
 .PHONY: update_caravel
 update_caravel: check-caravel
-	cd $(CARAVEL_ROOT)/ && git checkout $(CARAVEL_TAG) && git pull
+	cd $(CARAVEL_ROOT)/ && git checkout $(CARAVEL_TAG) && git pull origin $(CARAVEL_TAG)
 
 # Uninstall Caravel
 .PHONY: uninstall