On 02.08.2019 13:33, Johannes Schindelin wrote:
Please note that I have a patch series (currently on hold because of the v2.23.0 feature freeze) to teach `git reset` an `--stdin` option: https://github.com/gitgitgadget/git/pull/133
Perfect! Less work for me :) Once your patch is accepted, could you please send me a mail?
