GitHub usernames as maintainers

[Clemens Lang]

On Wed, Nov 02, 2016 at 05:27:30PM -0500, Ryan Schmidt wrote:
> On Nov 2, 2016, at 1:49 AM, Mojca Miklavec wrote:
> > It would be nice if "port info" would also print the github
> > usernames of maintainers.
> 
> When we were originally planning the transition to GitHub, I suggested
> that we allow an "@" syntax in the maintainers line for GitHub
> usernames (i.e. "maintainers @neverpanic" for Clemens). I don't
> remember right now why we then decided that wasn't a good idea.

I think we should re-visit that decision. Maybe I'll find a couple of
minutes to implement this in base. If so, I'll send a PR for discussion.

-- 
Clemens