[Koha-devel] Who runs the koha-jenkins IRC bot?
Tomas Cohen Arazi
tomascohen at gmail.com
Wed Aug 3 02:09:30 CEST 2022
Hi, koha-jenkins is now sending to #koha-ci only. Will move it to #koha-bots
El mar, 2 ago 2022 21:06, Victor Grousset/tuxayo <victor at tuxayo.net>
escribió:
> Hi :)
>
> It's about the move of automated output to #koha-bots
>
> Cheers,
>
> --
> Victor Grousset/tuxayo
> _______________________________________________
> Koha-devel mailing list
> Koha-devel at lists.koha-community.org
> https://lists.koha-community.org/cgi-bin/mailman/listinfo/koha-devel
> website : https://www.koha-community.org/
> git : https://git.koha-community.org/
> bugs : https://bugs.koha-community.org/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.koha-community.org/pipermail/koha-devel/attachments/20220802/50ceaa59/attachment.htm>
More information about the Koha-devel
mailing list