PR#245: Add music’s packages - - Pagure.io

Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.

fedora-project-config

#245 Add music’s packages

Merged Dec 20, 2022 by zuul. Opened Dec 14, 2022 by music.

music/fedora-project-config music-packages into master

Download 245.patch

music commented Dec 14, 2022

Run Zuul CI on all non-retired packages for which user music is the main admin.

zuul commented Dec 14, 2022

Build succeeded.

config-check : SUCCESS in 37s

fbo commented Dec 20, 2022

recheck

zuul commented Dec 20, 2022

Build succeeded.

config-check : SUCCESS in 39s

Metadata Update from @fbo:
- Pull-request tagged with: gateit

Dec 20, 2022

zuul commented Dec 20, 2022

Build succeeded (gate pipeline).

config-check : SUCCESS in 37s

Pull-Request has been merged by zuul

Dec 20, 2022

Metadata

Assignee

None

Tags

Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.