[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:                  |
-----------------------------+---------------------

Comment (by mojca):

 We need a couple of things anyway:
 * probably start with the database of users in Trac
 * create a mass update that will change maintainers in all ports at the
 same time (else this will literally take forever to do manually)
 * figure out how to implement a bot that does something with PRs

 Whether to do what l2dy or raimue suggest is not too important. We could
 even do both as:
 * I can imagine that quite a number of maintainers don't have a GitHub
 account yet (these might be stale developers anyway, but ...)
 * I would often want to ask specific developers for review even if they
 are not maintainers of the port in question
 so the mapping between maintainers and reviewers would not always be 1:1.

 Even if we assign reviewers (which makes sense) I wouldn't mind having a
 small table listing maintainers with both macports handle & github
 mention.

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