Thomas Gummerer <t.gummerer@xxxxxxxxx> writes: > git stash push is the newer interface for creating a stash. While we > are still keeping git stash save around for the time being, it's better > to point new users of git stash to the more modern (and more feature > rich) interface, instead of teaching them the older version that we > might want to phase out in the future. With devil's advocate hat on, because the primary point of "stash" being "clear the desk quickly", I do not necessarily agree that "more feature rich" is a plus and something we should nudge newbies towards.
