Why is it bad to rewind a branch that has already been pushed out?

Robin Rosenberg · Junio C Hamano · commit 6e2e1cfb81a6 · 2007-02-04T11:43:45.000-08:00
Mention git-revert as an alternative to git-reset to revert changes.

Signed-off-by: Robin Rosenberg &lt;robin.rosenberg@dewire.com&gt;
Signed-off-by: Junio C Hamano &lt;junkio@cox.net&gt;
diff --git a/Documentation/tutorial.txt b/Documentation/tutorial.txt
@@ -461,6 +461,8 @@ this branch.  If this branch is the only branch containing those
 commits, they will be lost.  Also, don't use "git reset" on a
 publicly-visible branch that other developers pull from, as it will
 force needless merges on other developers to clean up the history.
+If you need to undo changes that you have pushed, use gitlink:git-revert[1]
+instead.
 
 The git grep command can search for strings in any version of your
 project, so
