+ [2020-05-08T10:40:42Z] neure this is fine
+ [2020-05-08T15:19:32Z] pat64 Can I remove old GitHub Actions caches?
+ [2020-05-08T15:45:20Z] nedbat 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.
+ [2020-05-08T15:46:12Z] jhass participants so far I guess?
+ [2020-05-08T17:57:14Z] oprypin hehe the response is literally just the participants in the issue in the order of first message, then all participants of the repo in the order of user id

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.
+ [2020-05-09T04:42:11Z] pabs3 are the security advisories available via the API somewhere? for eg https://github.com/FreeRDP/FreeRDP/security/advisories
+ [2020-05-09T07:40:08Z] pat64 Can I remove old GitHub Actions caches?
+ [2020-05-09T15:17:18Z] kkoomen Hi. I have a verified email address including gpg verified settings, everything works perfect, but my commits have my username instead of my given name in my ~/.gitconfig. How can I fix this?
+ [2020-05-09T15:18:17Z] jhass do you have your given name set on https://github.com/settings/profile?