Should be trivial to write a job that watches the 'actual' repository for changes, and pushes changes to Jenkins' internal one, no?
> On 17.06.2016, at 13:16, Sverre Moe <[email protected]> wrote: > > 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-users/acc37b2c-1686-473a-aa88-11a5f2d3f7f1%40googlegroups.com. > 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/D0AB6490-EFD0-4BF4-A798-17B52A915F48%40beckweb.net. For more options, visit https://groups.google.com/d/optout.
