Make sure the gh-pages branch is pushed.

This commit is contained in:
Joe Steele 2013-08-01 10:54:45 -04:00
parent 6e62081390
commit b8b21a0bcb

View file

@ -225,10 +225,7 @@
<target name="-push-version">
<exec executable="git" failonerror="true">
<arg line="push" />
</exec>
<exec executable="git" failonerror="true">
<arg line="push origin tag ${version-name}" />
<arg line="push origin HEAD gh-pages tag ${version-name}" />
</exec>
</target>