On 2017-01-21 20:08:02, Thomas Gummerer wrote: > Don't mention git reset --hard in the documentation for git stash save. > It's an implementation detail that doesn't matter to the end user and > thus shouldn't be exposed to them. > [...] > + Save your local modifications to a new 'stash', and revert the > + the changes in the working tree to match the index. The patch contains a duplicated "the". Regards, Øyvind +-| Øyvind A. Holm - N 60.37604° E 5.33339° |-+ | OpenPGP: 0xFB0CBEE894A506E5 - http://www.sunbase.org/pubkey.asc | | Fingerprint: A006 05D6 E676 B319 55E2 E77E FB0C BEE8 94A5 06E5 | +------------| 42073b1c-e041-11e6-bae1-db5caa6d21d3 |-------------+