@tom79 About a year ago I duplicated code depository in and since that time I'm pushing updates to both and Gitlab. Unfortunately, "Issues" aren't part of the public repository, and so they cannot be duplicated easily.
That time I decided that Issues in Gitlab are subpar compared to Githubs, so I stayed with Github for communication with users...
Who knows, maybe Gitlab will be the next bought by some corporation...