diff options
| author | Heiko Voigt <hvoigt@hvoigt.net> | 2025-08-28 08:58:47 +0000 |
|---|---|---|
| committer | Johannes Sixt <j6t@kdbg.org> | 2025-08-28 22:51:36 +0200 |
| commit | e749c87e75f925540d1bf362b754fc7adf342960 (patch) | |
| tree | 7fbe3a0075cab813f5d9bbcc47ee03c60ea9ca69 /git-gui/lib | |
| parent | e3923e3e90da55e12545b5ef5aa34f21e97409d8 (diff) | |
git-gui: provide question helper for retry fallback on Windows
Make use of the new environment variable GIT_ASK_YESNO to support the
recently implemented fallback in case unlink, rename or rmdir fail for
files in use on Windows. The added dialog will present a yes/no question
to the the user which will currently be used by the windows compat layer
to let the user retry a failed file operation.
Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
Diffstat (limited to 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions