Hi @sjinko, glad to hear you like renku!
For syncing with github, you could try repository mirroring (i.e. push your changes from the renkulab gitlab to your github account). I haven’t tried this myself so I would be curious to hear your experience with it if you try it out!
Hi, @rrrrrok, thanks for the help! Much appreciated.
It works, but the GitLab documentation is a bit off.
In the section called “Setting up a push mirror from GitLab to GitHub”, point 2, the Git repository URL should be:
Only thing missing, the commits I do in Renkulab.io do not affect my contribution activities on my GitHub account.