message no. 178965
Posted by escherial in #github at 2020-04-05T11:52:32Z
what if they merge the first, then merge the second? i assume nothing bad would happen since the initial commits of the second would have already been applied in the first