Maybe; I'm not even going to bother parsing all that tonight.
OTOH, if I create software and publish it on gitlab, and I'm not a github user, and someone else copies it to github, that doesn't scrub my license off or give github any rights at all to my software, no matter what their agreement with whoever uploaded the software was.
OTOH, if I create software and publish it on gitlab, and I'm not a github user, and someone else copies it to github, that doesn't scrub my license off or give github any rights at all to my software, no matter what their agreement with whoever uploaded the software was.