message no. 171883
Posted by canton7 in #github at 2019-04-20T21:49:55Z
birkoff, so on the PR page itself, the "source" will become "unknown" or similar
Posted by canton7 in #github at 2019-04-20T21:49:55Z