If you're willing to try an experiment, and if you're willing to perform a git command in your Jenkins workspace as part of your build process, rather than from a plugin, you might try the technique described in this blog posting, to set the pushurl to the URL of the repository where you will store the build tags. Then you might use the Git plugin to push the tags, rather than being required to perform that push at the end of your build script.
http://technosorcery.net/blog/2011/12/26/how-i-use-different-fetch-and-push-urls-in-git/ I think this is a variation on the "insteadOf" technique. I've seen that variation used to reduce the load on central git repositories by allowing clone from a nearby repository, with push to the central repository. The nearby repository was kept up to date by a cron job which copied from remote to nearby, then many users could access the nearby repository rather than cloning from the remote. Mark Waite On Tue, Nov 12, 2013 at 3:43 PM, Les Mikesell <lesmikes...@gmail.com> wrote: > On Tue, Nov 12, 2013 at 12:43 PM, Max Rydahl Andersen > <max.ander...@gmail.com> wrote: > > Yeah, i dont want to have the Master repo littered with Jenkins build > tags and I also don't want to give the Jenkins user push access to github > master ( just see the recent Jenkins push force incident ;) > > > > If could have a way to have the initial repository be kept uptodate with > master repo that could work too - but didn't find reliable way to do that. > > > > Any hints ? > > How about a scheduled (cron or jenkins job) 'get fetch' in the repo > that you cloned from the master? > > -- > Les Mikesell > lesmikes...@gmail.com > > -- > 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 jenkinsci-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > -- 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 jenkinsci-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
