fix git gc polling interval on exceptions
Change to use --mirror when cloning herodb repos in the herodb_mirror tool.