Skip to content
Snippets Groups Projects

also rename GSetBot, CoPsetBot and ExclBot

Passed
Ralf Jung created pipeline for commit f4e5747f
, finished
Related merge request !1096 to merge ralf/csum-bot
4 minutes 12 seconds, queued for 2 seconds