> 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. Sorry, but git has really enough features.