title: Using global variables to push tags to Git in Jenkins Pipeline
body: <p>I cannot wrap my head around using global variables in Git commands.
  I have the following code:</p>
  
  <pre><code>stage('Publish to GIT') {
      steps {
          bat 'git push -v origin website-0.${env.BUILD_NUMBER}'
      }
  }
  </code></pre>
  
  <p>BUILD_NUMBER is a global variable used in Jenkins but I cannot get it to resolve. I also tried using Powershell but to no avail.
  I also tried <code>${BUILD_NUMBER}</code> <code>$BUILD_NUMBER</code> but without success.</p>
  
  <p>Any ideas what I am doing wrong?
  Thanks in advance!</p>
  
  <p>Regards</p>