Hi Alexandr, On Thu, 1 Aug 2019, Alexandr Miloslavskiy wrote:
> 4) git reset 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 Ciao, Johannes
