如何在Jenkinsfile中使用Git标记

pipeline {
    agent any
    stages {
        stage('Checkout') {
            steps {
                checkout([$class: 'GitSCM',
                          branches: [[name: '*/master']],
                          userRemoteConfigs: [[url: 'https://github.com/example/repo.git']]])
            }
        }
        // 其他构建阶段
    }
}

pipeline {
    agent any
    stages {
        stage('Checkout') {
            steps {
                checkout([$class: 'GitSCM',
                          branches: [[name: '*/master']],
                          userRemoteConfigs: [[url: 'https://github.com/example/repo.git']]])
            }
        }
        stage('Build') {
            steps {
                script {
                    def commitSHA = git revParse(HEAD)
                    def branchName = git branch: '*/master', showBranch: true
                    echo "Commit SHA: ${commitSHA}"
                    echo "Branch Name: ${branchName}"
                }
            }
        }
    }
}