if you're wondering yes gitlab is very good, even great, and does most of github's current features and more (export, integrated CI), and now can even push to github. it's heavy but i highly recommend having one or using one. if you set one up maybe share it with people around. (use omnibus)