Learn more about these different git repos.
Other Git URLs
c988d8d
fix for #652: restyled the ssh_info page Small changes to the ssh_info page to match the new UI