[MacPorts] #53388: mention bot for GitHub PRs

[MacPorts]

#53388: mention bot for GitHub PRs
-----------------------------+---------------------
  Reporter:  l2dy            |      Owner:  admin@…
      Type:  enhancement     |     Status:  closed
  Priority:  Normal          |  Milestone:
 Component:  server/hosting  |    Version:
Resolution:  fixed           |   Keywords:
      Port:                  |
-----------------------------+---------------------
Changes (by raimue):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 I guess this should be considered fixed with the
 [https://github.com/macports/mpbot-github/ PR bot].

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