On 02.08.2019 13:33, Johannes Schindelin wrote:
to teach `git reset` an `--stdin` option:
I think it should be changed to follow the approach decided here [1] - that is, use '--paths-file', and '--paths-file -' will mean "from stdin"[1] https://public-inbox.org/git/a6610e94-6318-b962-5dd0-ca379def3bba@xxxxxxxxxxx/
