github: rename bot

Created by: berendt

Signed-off-by: Christian Berendt berendt@osism.tech

Merge request reports

Loading