Remove infra tag related howtos in favor of SOP

The howtos were confusing and the Infrastructure repo SOP has more comprehensive informations.

Signed-off-by: Michal Konecny <mkonecny@redhat.com>
This commit is contained in:
Michal Konecny 2024-06-20 10:21:27 +02:00 committed by zlopez
parent d9ddcc9440
commit e95876ffbc
4 changed files with 4 additions and 30 deletions

View file

@ -1,9 +0,0 @@
= How to add a package to an infra tag
In order to be able to build a package in an infra tag we need first to add that
package to the tag.
This need koji admin permissions.
----
$ koji add-pkg epel7-infra packagename --owner owner
----

View file

@ -1,16 +0,0 @@
= How to build against an infra tag in koji
If you want a build to be available in the infra repo instead of
the fedora official repos.
----
$ koji build f30-infra bodhi-5.2.0-1.fc30.infra.src.rpm
----
If you get an permission error, you need to make sure you have the infra permission in koji
----
$ koji list-permissions --user cverna infra
----
If you don't, open an link:https://pagure.io/fedora-infrastructure/issues[infra ticket] to request that permission.