Learn more about these different git repos.
Other Git URLs
257fc94
Drop the empty 'General options' section in 'status' help