[RJVB/macstrop] use github ID for maintainer (2fb8aab)

[René J.V. Bertin]

On Friday December 02 2016 20:54:41 Rainer Müller wrote:

> Which notification mail? There are no notification mails going to the
> maintainer for pull requests unless the person opening the pull requests

We must be talking about different things.
If the maintainer opens the PR and he hasn't disabled github's notifications for events concerning those PRs, s/he will get notification emails. I do at least (but maybe I should call them transcript emails?)

R.