mirror/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-19 03:33:57 +01:00
Code

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

Browse Source 
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>
This commit is contained in:
Robin Rosenberg 2007-02-04 17:16:39 +01:00 committed by Junio C Hamano
parent 1f7d1a53fe
commit 6e2e1cfb81
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/tutorial.txt
View File

@ -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