I was responding to this: "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 ;)"
On Tue, Nov 12, 2013 at 3:07 PM, Max Rydahl Andersen <[email protected] > wrote: > > > On Tuesday, November 12, 2013 9:00:50 PM UTC+1, slide wrote: >> >> You can turn off the internal tags that Jenkins creates, check for "Skip >> internal tag". >> > > how does that help ? would still require jenkins to have full push access > which I would like to avoid. > > And i'm mainly interested of having a recording of the builds tags to > easily check them out. > > /max > >> >> slide >> >> >> On Tue, Nov 12, 2013 at 11:43 AM, Max Rydahl Andersen < >> [email protected]> 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 ? >>> >>> -- >>> 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]. >>> >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >> >> >> >> -- >> Website: http://earl-of-code.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 [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > -- Website: http://earl-of-code.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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
