Learn more about these different git repos.
Other Git URLs
e44e998
Use a different min_id for local domain When we changed the default min_id to be 1, we forgot about the local domain. It makes sense to keep the minimum id larger there.