message no. 180361
Posted by nedbat in #github at 2020-05-08T15:45:20Z
anyone know how GitHub populates the menu of people that pops up when you type @ in a comment on a pull request? It's more than just the people in the teams and collaborators.