🐛 fix nlohmann/json#2973

nlohmann · Aug 25, 2021 · 1362917 · 1362917
1 parent b34f65b
commit 1362917
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/scripts/clone/build.sh b/scripts/clone/build.sh
@@ -2,3 +2,5 @@
 set -euxo pipefail
 
 test -d workdir/json || scripts/clone/git-flow-clone https://github.com/nlohmann/json.git workdir/json
+
+cd workdir/json ; git config gitflow.prefix.versiontag v
diff --git a/scripts/close_branches/close_branches.sh b/scripts/close_branches/close_branches.sh
@@ -14,6 +14,7 @@ git flow release finish $NEXT_VERSION
 git checkout master
 git pull
 git push
+git push --tags
 
 git checkout develop
 git pull
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,3 +2,5 @@
		set -euxo pipefail

		test -d workdir/json \|\| scripts/clone/git-flow-clone https://github.com/nlohmann/json.git workdir/json

		cd workdir/json ; git config gitflow.prefix.versiontag v