2 ms·If it is not in git log, a few months down the drain, nobody will read the PR discussion anyway.by lynx97 7mo agoIf it is not in git log, a few months down the drain, nobody will read the PR discussion anyway.