fixed CI banner due to rename of repository