[website] some work on releasing edge and updating git.

This commit is contained in:
Reinier Zwitserloot committed 2018-09-10 22:24:48 +02:00
1 parent 6a42bccb97
commit 7319256a37
1 file changed
+11 -4
+11 -4
View File
@@ -209,15 +209,22 @@ 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" failonerror="true">
<arg value="merge-base" />
<arg value="--is-ancestor" />
<arg value="edge" />
<arg value="master" />
</exec>
<exec executable="/usr/bin/git">
<arg value="tag" />
<arg value="branch" />
<arg value="-f" />
<arg value="live" />
<arg value="edge" />
<arg value="master" />
</exec>
<exec executable="/usr/bin/git">
<arg value="push" />
<arg value="-f" />
<arg value="--tags" />
<arg value="origin" />
<arg value="edge:refs/heads/edge" />
</exec>
</target>