+ [2019-11-11T20:25:34Z] josuebc Is there any recommended way to download and add every gpg key for every member of an organization?
+ [2019-11-11T20:26:25Z] josuebc Say, I want to show weather each commit is verified or not, locally (when running github log). IF I don't have the public gpg key it doesn't show as "G" it shows as "E"
+ [2019-11-11T20:26:32Z] josuebc and the error being that the key is not in my local keyring.
+ [2019-11-11T20:26:44Z] josuebc The public gpg key, that is.

message no. 175752

Posted by gAb1 in #github at 2019-11-11T18:42:12Z

the only thing i can think of is i changed the name of the github repository, but that was before i set the remote so the url was the correct one
+ [2019-11-12T10:26:19Z] Stummi GHA Question: From an Action I push into the repository, and expect this to trigger another action, however the second action does not run. Is this intentional?
+ [2019-11-12T16:09:36Z] jlevon somebody know how to get hub(1) pr list to work with a forked repository? it's insisting there are no PRs
+ [2019-11-12T16:36:13Z] nedbat jlevon: i never used it before, but "-b <BASE>" might be the key
+ [2019-11-12T16:37:13Z] jlevon nedbat: the branch is master, though.
+ [2019-11-12T16:37:26Z] jlevon it just shows the original repo's PRs not the forked on