blaisep

Suppose you want to inject a credential into a Pipeline script.
The cloudbees note does not include Pipeline script examples.
https://support.cloudbees.com/hc/en-us/articles/203802500-Injecting-Secrets-into-Jenkins-Build-Jobs

The Jenkins Pipeline Docs' description of the `git push`method doesn't have an example using injected credentials. 
(https://jenkins.io/doc/pipeline/examples/#push-git-repo)

The Snippet generator is helpful, but not not if you try to follow the instructions at:
https://wiki.jenkins-ci.org/display/JENKINS/Credentials+Binding+Plugin