Learn more about these different git repos.
Other Git URLs
8fe6e01
Update SOP for adding packages to infra tags Koji users with infra permission can now add packages to infra tags themselves, without bothering Koji admins.