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

Mention git-revert as an alternative to git-reset to revert changes. Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com> Signed-off-by: Junio C Hamano <junkio@cox.net>
git-mirror · Feb 4, 2007 · 6e2e1cf · 6e2e1cf
1 parent 1f7d1a5
commit 6e2e1cf
Showing 1 changed file with 2 additions and 0 deletions.
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