【发布时间】:2016-07-05 12:41:59
【问题描述】:
我们正在使用Jenkins git plugin 在构建之前使用凭据克隆 git repo。
构建结束,如果成功,我们做git push:
BRANCH_TO_PUSH=${GIT_BRANCH/origin\//}
git push origin HEAD:refs/heads/${BRANCH_TO_PUSH}
偶尔,推送失败,输出如下:
fatal: could not read Username for 'https://git.example.net': Device not configured
如何解决这个问题?
【问题讨论】: