4 ms·The article reads like you can’t change local git history before pushing. I do that all the time.by cestith 1y agoThe article reads like you can’t change local git history before pushing. I do that all the time.