Learn more about these different git repos.
Other Git URLs
92dd493
add delete_batch_size into legacy_opts