Hi,
I have a GitHub account, and I love working on Renkulab.io. I would like to know how I can work with Renkulab.io so that my contribution activities appear in my GitHub account.
1 Like
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!
docs: https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html
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:
https://<your_github_username>:<your_github_access_token>@github.com/<your_github_username>/<your_github_project>.git
Only thing missing, the commits I do in Renkulab.io do not affect my contribution activities on my GitHub account.