diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-02-26 02:16:29 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-03-07 03:41:40 +0300 |
commit | 8d8e9c2a94c4cb60a0db2a496fd1f28fc6ec79f8 (patch) | |
tree | 5d9118589d32bb0f91aa98252a005224f7c7d430 /git-sh-setup.sh | |
parent | 40af14683432285b94407e8488eab6942d0779dc (diff) |
stash: add back the original, scripted `git stash`
This simply copies the version as of sd/stash-wo-user-name verbatim. As
of now, it is not hooked up.
The next commit will change the builtin `stash` to hand off to the
scripted `git stash` when `stash.useBuiltin=false`.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-sh-setup.sh')
0 files changed, 0 insertions, 0 deletions