Learn more about these different git repos.
Other Git URLs
5964e88
frontend: match OS logos by their OS family Merges: #2300 Fixes: #2294