Add a --devel flag to update allowing explicit retrieval of latest GitHub version