[Jenkins-infra] ircbot repository hooks

Slide 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
> https://groups.google.com/d/msgid/jenkinsci-dev/5D726B9A-2EFE-4B63-B1EA-37E2FD073E1B%40beckweb.net
> .
> For more options, visit https://groups.google.com/d/optout.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20181005/dade57bd/attachment.html>


More information about the Jenkins-infra mailing list