Update git_jenkins.md