Is the comparison between GitHub and GitLab correct?