Github can export archives automatically.