title: how to get repo name in Jenkins pipeline
body: <p>I'm using Jenkins Scripted Pipeline that uses Groovy style scripting, and created a Jenkinsfile to describe the pipeline. I need to create the workspace with the folder name same as git repo name, and then checkout the code in the workspace folder. 
  My question is, before doing the <code>checkout scm</code>, is there a way to know the git repo name or the git repo url?</p>