message no. 174884
Posted by energizer in #github at 2019-10-04T23:26:27Z
nedbat: ah right, they can guess which one because github doesn't let you PR a non-(github fork), and only one fork per (base, user) is allowed
Posted by energizer in #github at 2019-10-04T23:26:27Z