[Jenkins-infra] ircbot repository hooks
slide.o.mix at gmail.com
Fri Oct 5 12:40:18 UTC 2018
Ok, I opened https://github.com/jenkins-infra/ircbot/pull/62 to disable
service creation for new repos for now.
On Fri, Oct 5, 2018 at 2:32 AM Daniel Beck <ml at beckweb.net> wrote:
> > On 5. Oct 2018, at 10:46, Olblak <me at olblak.com> wrote:
> > Only four people are in that channel so I really wonder if there is a
> need for it
> Ideally we will have at least one service we can use to understand what
> happened to Git repos, when. I don't need it often, but when I do, there
> are no alternatives to the best of my knowledge (git commit ≠ git push).
> In the mean time, we should remove the services from the bot so we remain
> able to act.
> You received this message because you are subscribed to the Google Groups
> "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to jenkinsci-dev+unsubscribe at googlegroups.com.
> To view this discussion on the web visit
> For more options, visit https://groups.google.com/d/optout.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Jenkins-infra