fix for issue was released

[thojansen]

When someone creates an issue on a given project, it is common to close this issue once a PR is merged e.g. into master. However, this fix may be released at a later point in time. It would be awesome if a bot could notify on the issue once referenced commits are part of a new GitHub release.

[j-f1]

How does this look?

When a release is published

• For each issue #mentioned in the release description or closed by being #mentioned in a PR #mentioned in the release:
  • comment This has been fixed in ${release.tag.name}! :tada:
• For each pull request #mentioned in the release:
  • comment This has been released as part of ${release.tag.name}! :tada:
• For each issue or pull request #mentioned in the release:
  • add the ${release.tag.name} label to the issue
  • (optional) lock the issue, and include the message I’m locking this issue since it has been resolved. If it resurfaces, please [open a new issue](https://github.com/foo/bar/issues/new) and tell us about it. in the comment posted.

[thojansen]

Yes, that looks about right. Maybe the label could also be optional. Any comments from others if this would be useful?

[rsarky]

@zeke Maybe we could extend the functionality of release-notifier to also comment on issues that have been fixed as a part of a release?

Also @j-f1 suggested:

For each issue or pull request #mentioned in the release:
add the ${release.tag.name} label to the issue
(optional) lock the issue, and include the message I’m locking this issue since it has been resolved. If it resurfaces, please open a new issue and tell us about it. in the comment posted.

I think this would also be a neat addition.

[zeke]

Good call, @rsarky. I've opened an issue here: release-notifier/release-notifier#23