]> git.99rst.org Git - git.git/commitdiff
Merge branch 'jk/ort-unused-parameter-cleanups'
authorJunio C Hamano <redacted>
Sat, 23 Sep 2023 00:01:36 +0000 (17:01 -0700)
committerJunio C Hamano <redacted>
Sat, 23 Sep 2023 00:01:36 +0000 (17:01 -0700)
Code clean-up.

* jk/ort-unused-parameter-cleanups:
  merge-ort: lowercase a few error messages
  merge-ort: drop unused "opt" parameter from merge_check_renames_reusable()
  merge-ort: drop unused parameters from detect_and_process_renames()
  merge-ort: stop passing "opt" to read_oid_strbuf()
  merge-ort: drop custom err() function


Trivial merge
git clone https://git.99rst.org/PROJECT