message no. 177263
Posted by nedbat in #github at 2020-02-25T15:31:25Z
guardian: deep down, github issues and pull requests are kind of the same thing. There's one numbering sequence for both of them, for example.
Posted by nedbat in #github at 2020-02-25T15:31:25Z