summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8e4a91b)
raw | patch | inline | side by side (parent: 8e4a91b)
author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | |
Sun, 8 Jul 2007 20:32:22 +0000 (21:32 +0100) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Mon, 9 Jul 2007 01:24:19 +0000 (18:24 -0700) |
It seems that not everybody expects a difference between keeping a "pick"
line, and deleting it. So be a bit more explicit about that, with all
capitals to get the attention.
Noticed by vmiklos on IRC.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
line, and deleting it. So be a bit more explicit about that, with all
capitals to get the attention.
Noticed by vmiklos on IRC.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-rebase--interactive.sh | patch | blob | history |
index ac4d559f07ed656ff08f75a00c028bb515f7a8af..d9563ec46fb9ab08a8295031bc6450a4827014de 100755 (executable)
# pick = use commit
# edit = use commit, but stop for amending
# squash = use commit, but meld into previous commit
+#
+# If you remove a line here THAT COMMIT WILL BE LOST.
+#
EOF
git rev-list $MERGES_OPTION --pretty=oneline --abbrev-commit \
--abbrev=7 --reverse $UPSTREAM..$HEAD | \