We recently added a new functionality to the Hibernate GitHub Bot that enables it to automatically edit PR descriptions, adding links to the issues referenced by commit messages if the keys are not already mentioned in the body.

Enabling this is very easy, we just need to add a new property to the bot’s config file.