New name chosen
git.minetest.land
Based on the small overall amount of votes here, a similarly small amount of votes on Matrix, the large amount of people who voted on Discord and the large margin by which the name VoxeLibre won the voting on Discord, as well as the heated discussion that followed the survey on private dev chats....

The name change is finally happening. We have decided on the new name and are moving forward.