Learn more about these different git repos.
Other Git URLs
286a1d9
issue #85: adding styles for the user badges widget