[galaxy-commits] commit/galaxy-central: greg: Fix and enhance the features for resetting a repository that encounted errors during the cloning process so the Galaxy admin can make another attempt to install it.