From 75d3aa1fc0df019c5e619fcef3fd9e946b84d4bd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikl=C3=B3s=20T=C3=B3th?= <tothmiklostibor@gmail.com>
Date: Mon, 10 May 2021 11:50:25 +0200
Subject: [PATCH] force tags
---
docs/magic.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/magic.sh b/docs/magic.sh
index a024d98c..7d795aac 100755
--- a/docs/magic.sh
+++ b/docs/magic.sh
@@ -23,7 +23,7 @@ for week in 7 11 3 2 4 5 6 9 10 13 14; do
echo "week $week incoming..."
git clean -fd
git reset --hard
- git checkout "w${week}"
+ git checkout "tags/w${week}"
rm -rf /tmp/javadoc
--
GitLab