Re: [Koha-devel] Who runs the koha-jenkins IRC bot?

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@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@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/