Learn more about these different git repos.
Other Git URLs
1edd5f8
prune the aomic repo before syncing Signed-off-by: Dennis Gilmore <dennis@ausil.us>