[infinispan-issues] [JBoss JIRA] (ISPN-2016) Release script should push branch to origin after updating to version+1