message no. 177673
Posted by dmlloyd in #github at 2020-03-12T18:12:14Z
IIRC it's just the UI that's confused but to be safe you might want to manually merge that PR and double check that it looks git-okay
Posted by dmlloyd in #github at 2020-03-12T18:12:14Z