Gianluca Recchia 308b046875 Use stash 'push' or 'save' depending on Git version ...

A utility function now parses the output of git --version and set the
alias for git stash to 'git stash push' iff the current version of Git
is greater than 2.13; it falls back to 'git stash save' otherwise.

2019-01-29 04:11:02 +01:00

7.8 KiB

Raw Blame History

View Raw