[MacPorts] #53388: mention bot for GitHub PRs

[MacPorts]

#53388: mention bot for GitHub PRs
----------------------------+---------------------
 Reporter:  l2dy            |      Owner:  admin@…
     Type:  enhancement     |     Status:  new
 Priority:  Normal          |  Milestone:
Component:  server/hosting  |    Version:
 Keywords:                  |       Port:
----------------------------+---------------------
 It's hard to manually mention the maintainer on GitHub as one have to find
 the right GitHub handle on Trac first.

 A bot mentioning (@) the maintainer in a comment for every PR would be
 great.

--
Ticket URL: <https://trac.macports.org/ticket/53388>
MacPorts <https://www.macports.org/>
Ports system for macOS