3 ms·This discussion was about git, not GitHub. There's a difference.by CRConrad 2y agoThis discussion was about git, not GitHub. There's a difference.