Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(copr): mention deducing Copr targets #535

Merged

Conversation

mfocko
Copy link
Member

@mfocko mfocko commented Oct 4, 2022

Follow-up of packit/packit-service#1673

Signed-off-by: Matej Focko mfocko@redhat.com

@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.

✔️ pre-commit SUCCESS in 1m 13s
✔️ hugo SUCCESS in 51s

content/docs/configuration.md Outdated Show resolved Hide resolved
mfocko added a commit to mfocko/packit.dev that referenced this pull request Oct 5, 2022
mfocko added a commit to mfocko/packit.dev that referenced this pull request Oct 5, 2022
mfocko and others added 2 commits October 5, 2022 10:17
Follow-up of packit/packit-service#1673

Signed-off-by: Matej Focko <mfocko@redhat.com>
@mfocko mfocko added the mergeit When set, zuul wil gate and merge the PR. label Oct 5, 2022
@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded.

✔️ pre-commit SUCCESS in 1m 26s
✔️ hugo SUCCESS in 1m 04s

@softwarefactory-project-zuul
Copy link
Contributor

Build succeeded (gate pipeline).

✔️ pre-commit SUCCESS in 1m 17s

@softwarefactory-project-zuul softwarefactory-project-zuul bot merged commit 5fb295f into packit:main Oct 5, 2022
@mfocko mfocko deleted the deduce-copr-targets branch July 11, 2023 11:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
mergeit When set, zuul wil gate and merge the PR.
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

3 participants