Learn more about these different git repos.
Other Git URLs
83c0d16
don't complain when we see fence_tool's -w option