[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:
Resolution:                  |   Keywords:
      Port:                  |
-----------------------------+---------------------
Changes (by raimue):

 * cc: raimue (added)


Comment:

 That depends on getting the GitHub names of maintainers into Portfiles
 first, for which syntax was added in 2.3.5, but it still had some bugs
 breaking the 'port info' output. Should be safe to use after 2.4.0.

 I would prefer to avoid the noise of mentions by
 [https://developer.github.com/v3/pulls/review_requests/ requesting them as
 reviewers], which is a feature GitHub added lately.

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