It might be a naive question, but having read on how GitHub works (holacracy, no management and all that), how a decision like this is made and sanctioned.