Stefan Haller 30ce7c8085 Replace uses of "git stash save" with "git stash push" ...

Save has been deprecated for a while, push is the recommended way to save a
stash. Push has been available since 2.13, so we can use it without problems.

2023-07-10 15:09:17 +02:00

5.5 KiB

Raw Blame History

View Raw