I would like to fork a GitLab repository (not my own, and public), so I can make changes to my fork, and update that fork with the upstream version whenever there are upstream updates, using GitHub desktop.
So far, what I have done is:
(1) imported the GitLab repo on github.com -> import repository , the repository appears on GitHub as my own (which it is not) and not as a fork (which I want it to be)
(2) on GitHub desktop, add repository -> clone GitHub repository from (1) on my local machine, make changes to it, push the changes to my GitHub repository (good)
(3) if there are any changes made to the upstream GitLab repository, I cannot merge those into my GitHub repository. Indeed, the latter is not considered a fork and it is not connected in any way to the upstream GitLab repository. Normally I would use on GitHub desktop "Choose a branch to merge into master", choose the upstream branch, and merge the changes.
(4) I tried "git remote add upstream {gitlab repo}" but that did not change anything.
(5) also tried, alternatively, just cloning the GitLab repository directly on my local machine, making changes to it, but pushing my changes attempts to push them on GitLab, which I cannot do and do not want to do as the repo isn't mine.