Merge branch 'pw/rebase-exec-cleanup'
commite28d5d216002b067806bab0d54226645d84016ee
authorJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:22:00 +0000 (21 17:22 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 22 Jan 2023 01:22:00 +0000 (21 17:22 -0800)
tree7f9b4bbc072560543f218f554f2f201e24a51725
parent9c2003a6cb99a8aa5aeb7c311247456264799f7f
parente57d2c59377943fed09ec30012634f60788bdfca
Merge branch 'pw/rebase-exec-cleanup'

Code clean-up.

* pw/rebase-exec-cleanup:
  rebase: cleanup "--exec" option handling