From d363e4d283f156a21fe40097855d0456ad581d54 Mon Sep 17 00:00:00 2001
From: Kenneth J Davis <PerditionC@gmail.com>
Date: Thu, 13 May 2021 23:38:29 -0400
Subject: [PATCH] add example of pushing tag to origin, use HEAD instead of
 just tagged branch to avoid detached head warning as should be same

---
 RELEASE.BAT | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/RELEASE.BAT b/RELEASE.BAT
index 08d95f8..65ed174 100644
--- a/RELEASE.BAT
+++ b/RELEASE.BAT
@@ -6,8 +6,8 @@ ECHO tag git with release version -
 git tag -a -m "Tag kernel release %1" ke%1 HEAD
 ECHO get a clean tree
 if EXIST ..\SOURCE RMDIR /S /Q ..\SOURCE > NUL
-git clone -v --local --branch ke%1 . ..\SOURCE\ke%1\
-::git clone -v --local . ..\SOURCE\ke%1\
+::git clone -v --local --branch ke%1 . ..\SOURCE\ke%1\
+git clone -v --local . ..\SOURCE\ke%1\
 
 REM delete files to exclude
 RD /S /Q ..\SOURCE\ke%1\.git > NUL
@@ -27,3 +27,4 @@ GOTO DONE
 ECHO Tag and build release kernels - usage: RELEASE {VERSION} e.g. RELEASE 2039
 :DONE
 ECHO Please git push the tag to origin and upload the archives.
+ECHO E.g. git push origin ke%1