3 ms·Never thought of this use case! Sounds like GitHub did the right thing.by sotojuan 10y agoNever thought of this use case! Sounds like GitHub did the right thing.