I would like to have PR's labelled with released / not-yet-released, based on, whether there exists any release, where PR is merged.

Also, when a release is created, then a comment to PR would be useful, ie.: released in version x.y.z.

So, ideally, I would expect following behavior:

  • merge of PR: label with not-yet-released,
  • release creation, for each merged, but `not-yet-released, PR:
    • label with released, remove not-yet-released,
    • add comment: released in version x.y.z,
  • deletion of release, for each merged PR, which isn't released anymore:
    • label with not-yet-released, remove released,
    • add comment: release x.y.z deleted, PR isn't released.

I'll be satisfied with any partial solution though,...


There is a GitHub app via probot that might solve some of your problem:

PR Triage
Add a label depending on the pull request's status

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.