In my Jenkins job, I am configuring git in the following way:
sh("git config user.email my.email@google.com")
sh("git config user.name my-user-name")
sh("git tag ${BUILD_NUMBER}")
sh("git push origin --tags")
However, on the last line, when I try to push to my repository, I get the following error about the repository:
fatal: could not read Username for 'http://my-git-repo.com:8000': No such device or address
What's wrong and how can I make it push to the repository?