That would seem like a perfect solution. However it is closed due to duplication. The issue it duplicated is not resolved and labeled 2.0-rejected.
fredag 17. juni 2016 16.21.03 UTC+2 skrev ludovic SMADJA følgende: > > It's the issue https://issues.jenkins-ci.org/browse/JENKINS-34476 > > And I'm also waiting on this ;-) > -- > > > Ludovic SMADJA > R&D engineer - build process and development > JALIOS SA > http://www.jalios.com > > > Le vendredi 17 juin 2016 à 04:16 -0700, Sverre Moe a écrit : > > Is it possible to change the repository location for workflowLibs.git? > The current location is JENKINS_HOME/workflow-libs > > We have a remote git repository for all our code and utilities. Can we use > this central git repository as the remote location for workflowLibs.git? > Also perhaps use a different remote name: jenkins-workflowLibs.git. Just > workflowLibs.git among all other repositories isn't very descriptive. > > Perhaps something like this in JENKINS_HOME/workflow-libs/.git/config > [remote "origin"] > url = ssh://[email protected]/tools/jenkins-workflowLibs.git > fetch = +refs/heads/*:refs/remotes/origin/* > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-users/acc37b2c-1686-473a-aa88-11a5f2d3f7f1%40googlegroups.com > > <https://groups.google.com/d/msgid/jenkinsci-users/acc37b2c-1686-473a-aa88-11a5f2d3f7f1%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > > -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/87d139ee-141b-4d33-b91a-9647c8e56811%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
