#3148 add a step to flag the PR from the jenkins job
Merged by pingou. Opened by bstinson.
bstinson/pagure ci-add-pr-posting  into  master

Download 3148.patch

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

  • we already have the credential

rebased onto 95cab9148827ccac6cdf828dd1f2e7d6a12115e2

OK to merge now

Commit 54774937 fixes this pull-request

Pull-Request has been merged by pingou

Metadata