Well yes, but I use repos just as any other dev does. Most of my own projects I have converted to Gitlab, but still some projects still exist on Github.