I need the push secret from pagure-ci added to jenkins before we merge this, but here's a first cut.
1 new commit added
rebased onto 95cab9148827ccac6cdf828dd1f2e7d6a12115e2
OK to merge now
Commit 54774937 fixes this pull-request
Pull-Request has been merged by pingou
I need the push secret from pagure-ci added to jenkins before we merge this, but here's a first cut.