title: GIT URL in Jenkins pipeline
body: <p>I am trying to parameterize a Jenkins pipeline. The only input parameter will be GITHUB_URL. I have a Jenkinsfile as a part of the repo. I want to use this variable (defined as parameter) in my pipeline configuration as "Repository URL". How can I access the parameter ? </p>
  
  <p>I have tried $GITHUB_URL, ${GITHUB_URL} and ${params.GITHUB_URL}. No luck </p>
  
  <p>Any other suggestions?</p>