| commit | 5a5e4d2599faf51240e5c8f29645eeb2aedff5c2 | [log] [tgz] |
|---|---|---|
| author | Beat Bolli <bbolli@ewanet.ch> | Sat Aug 18 13:28:00 2012 -0700 |
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | Mon Sep 17 11:59:05 2012 +0100 |
| tree | 285ce9e0ff8f2e59e315843de5eae31a34d26378 | |
| parent | 9ef750875abd9cc41d733131a2851b5165fc2197 [diff] |
git-gui: remove .git/CHERRY_PICK_HEAD after committing Adding _git_ps1() to one's bash prompt displays various repo status info after each command. After committing a git cherry-pick -n using git-gui, the prompt still contains the "|CHERRY-PICKING" flag. Delete the file causing this flag when cleaning up. Signed-off-by: Beat Bolli <bbolli@ewanet.ch> Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>