Merge branch 'jb/reflog-expire-delete-dry-run-options'
commit468d49634f3a56469890dece815f6dd8c34c2d72
authorJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:12 +0000 (18 14:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:12 +0000 (18 14:10 -0800)
tree6b124d039b3acb0f510de8c4b3d54eb8db858975
parentec5ab1482d3373052784ae5c49d96d8b5cdd139d
parentcbf498eb534c5a41c2c4fa5681d18e22d93b8fb4
Merge branch 'jb/reflog-expire-delete-dry-run-options'

Command line parsing fix for "git reflog".

* jb/reflog-expire-delete-dry-run-options:
  builtin/reflog.c: fix dry-run option short name
builtin/reflog.c