PR#4740: Different improvements to pagure over dist-git - - Pagure.io

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

pagure

#4740 Different improvements to pagure over dist-git

Merged Feb 10, 2020 by pingou. Opened Feb 7, 2020 by pingou.

dist_git_improvements into master

Download 4740.patch

pingou commented Feb 7, 2020

Each commit can be reviewed separately.

ngompa commented Feb 7, 2020

:thumbsup:

jlanda commented Feb 10, 2020

:thumbsup:

pingou commented Feb 10, 2020

thanks for the reviews!

Pull-Request has been merged by pingou

Feb 10, 2020

Metadata

Assignee

None

Tags

No 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.