Yes, I know that. I'm asking because, it would help in project collaboration: ie. merge requests, user's forks and more. Maybe it would be reasonable to either switch to github or just maintain as an mirror. Kamil