title: Git push from jenkins pipeline
body: <p>I want to push my code using jenkins pipeline, so is there any way to use <code>git push</code> with <strong>HTTPS</strong> from jenkins?</p>
  
  <p>Can we use GitHub personal token for git push?</p>