@mwestphal I think it will be possible to have a GitHub web site where we would update the GitHub master from the GitLab site. So the GitHub master will have a site folder, images folder, a Tarballs folder and a Coverage folder. So we will not need Coverage and Tarballs in the GitLabSite.
I’ll work on updating the scripts to do this. It might take a week or so.