Democratic Forking: Choosing Sides with Social Choice