[agumonkey]

There was a tiny period where github was a bit stagnant and gitlab felt more capable. Felt a bit like mysql vs postgres. Now I think github got the lead back (slightly simpler UI/workflow). But i don't know much.