在 jenkins shell 中,我想添加远程 repos,但是如果 repos 名称存在,那么我遇到了
fatal: remote I-WANT-TO-PUSH already exists.
詹金斯意外中止了。
我想在下面的伪代码。
if [ ! git remote I-WANT-TO-PUSH exist? ]
git remote add I-WANT-TO-PUSH http://i-want-to-push.example.com
fi
git push I-WANT-TO-PUSH
这个怎么做?
编辑:(感谢@Nikolay)
下面是几乎实际的代码:
o=$(git remote | grep 'pushable')
if [[ $o == '' ]]; then
hub remote add pushable https://$GH_TOKEN@github.com/foo/bar.git
fi
然后我得到:
++ grep pushable
++ git remote
+ o=
Build step 'Execute shell' marked build as failure