update plugin version number in plugin release script

build.xml

@@ -328,7 +328,7 @@ Linux(because the top command will be run and the script will exit).\n\nBoth det
 
     <target name="buildNum">
         <buildnumber file="scripts/build.number" />
-        <property name="release.number" value="1.3.0" />
+        <property name="release.number" value="1.4.991" />
         <exec executable="echo" osfamily="unix">
             <arg value="${release.number}-${build.number}" />
         </exec>

plugin-upload.sh

@@ -1,6 +1,8 @@
 #! /usr/bin/env sh
 
 . ./config.sh
+NUMLINE=`grep release.number build.xml | head -n 1`
+sed -i "s|${NUMLINE}|        <property name=\"release.number\" value=\"$GITHUB_TAG\" />|g" build.xml
 ant distclean versionMd jar plugin
 
 github-release release --user "${GITHUB_USER}" \