The future of mentions, possibility to convert this plugin into a patch?

[m4xiJo]

Redmine 4 was out recently, and unlike last years, there was a big move for it in 2018 judging by the amount of issues that were resolved ever since 3.4.6 release.
I really believe mentions should become the core feature of Redmine for the next release and further on even become the feature that will trigger the initiative to develop proper notifications center so people would finally be able to choose to be notified about things even inside the Redmine itself and not just email... then also spawn such ability as adding REST API features for the mentions, to enable apps to send proper push notifications with messages you were mentioned in.

https://www.redmine.org/issues/13919

I would like to offer to convert this into a full scale .diff patch if possible, to later submit it to the thread mentioned above, would you mind to do so or if not, would you then agree to let us use reuse your experience and convert this into a patch by ourselves at some point?

We also gathered up in the Redmine dedicated Discord server, since official Redmine IRC is dead, you may join our little community if you re interested. The invite link is: https://discord.gg/tHgdVSj