遥控器/原点/ HEAD应设置为什么？

Question

如果开发人员正在develop分支上，则用于一个新项目

1）克隆

git clone <git_url>应该能够在不使用develop选项的情况下自动在本地克隆-b分支，这样

$ git branch -a # after clone should give
* develop
  remotes/origin/HEAD -> origin/develop
  remotes/origin/develop

2）按下

当开发人员使用命令develop将本地分支（origin/develop）推送到远程存储库（git push origin develop）时，我的理解是，更改已推送到origin/master，如果 remotes/origin/HEAD指向origin/master，则与此comment

中所提及的不同

---

问题：

1） 是否建议在执行上述两项任务之前运行git remote set-head origin develop并在远程存储库中设置HEAD指针？由任何开发人员

2） 不管远程存储库中的git push origin develop值如何，origin/develop都会推送更改remotes/origin/HEAD？

3） 我们在GitLab和Jenkins之间使用webhook。 GitLab plugin提供的env.gitlabSourceBranch是否给出了remotes/origin/HEAD指向的分支名称？如果是，如何获取发生推送事件的分支名称？通过webhook。

以下是在GitLab中完成的设置，以检索发生新提交的分支名称：

下面是詹金斯中的代码：

node('worker_node'){

    stage('stage1'){

        def repoName = env.gitlabSourceRepoName
        println "Repository Name: " + repoName // gives correct repo name


        def branchName = env.gitlabSourceBranch
        println "Branch name: " + branchName // gives always 'master' as value
   }
}