Now that we have a built-in `git add -p` and a built-in `git stash`, make them play nicely together. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
git_terminal_prompt