From 95d50174ae78945ad7d06aa509675bfa2641850a Mon Sep 17 00:00:00 2001
From: Per Cederqvist <ceder@lysator.liu.se>
Date: Fri, 19 Apr 2013 00:01:44 +0200
Subject: [PATCH] Remove the strange "origin" branch.

---
 Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 33effde..d8b39ae 100644
--- a/Makefile
+++ b/Makefile
@@ -133,7 +133,12 @@ stamp/17: stamp/16 clone fixes/17-v0-45-1-maint
 	cd 17.git && ../fixes/17-v0-45-1-maint
 	touch $@
 
-stamp/99: stamp/17 clone
+stamp/98: stamp/17 clone
+	./clone $< $@
+	cd 98.git && git branch -d origin
+	touch $@
+
+stamp/99: stamp/98 clone
 	./clone $< $@
 	touch $@
 
-- 
GitLab