From b60541526c7047aff0f4b2a1aac37804913c61de Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@zwitserloot.com>
Date: Tue, 4 Sep 2018 01:59:22 +0200
Subject: running the edge-release task also sets the git tag now.

---
 buildScripts/website.ant.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'buildScripts')

diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml
index 5c996fc6..ddcb2219 100644
--- a/buildScripts/website.ant.xml
+++ b/buildScripts/website.ant.xml
@@ -209,6 +209,16 @@ such as applying the templates to produce the website, converting the changelog
 			username="${ssh.username}"
 			keyfile="${ssh.keyfile}"
 			knownHosts="ssh.knownHosts" />
+		<exec executable="/usr/bin/git">
+			<arg value="tag" />
+			<arg value="-f" />
+			<arg value="live" />
+		</exec>
+		<exec executable="/usr/bin/git">
+			<arg value="push" />
+			<arg value="-f" />
+			<arg value="--tags" />
+		</exec>
 	</target>
 	
 	<target name="javadoc" description="Generates the javadoc" depends="-ensure-version, -ensure-fullversion" unless="skip.javadoc">
-- 
cgit