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.