@Bubu Is federating git hosting hard? It's by nature fairly trivial to get it to sync from place to place. The tricky part is distributing the other things that git{hub,lab} add - bug trackers, auth, etc - those are what really make them attractive.