Add a license -- people keep saying github repos should have one