Learn more about these different git repos.
Other Git URLs
4f10061
Ship a gnome-shell extensions override file for Workstation Enable the background logo extension by default for Workstation so that we can display appropriate branding. https://bugzilla.redhat.com/show_bug.cgi?id=1161637