Full threadWatabou·Highly consider using 'git revert' instead of 'git reset' especially if you're pushing to a public repo.View on HN