]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'ps/ref-deletion-updates'
authorJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:11 +0000 (14:10 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 18 Dec 2023 22:10:11 +0000 (14:10 -0800)
Simplify API implementation to delete references by eliminating
duplication.

* ps/ref-deletion-updates:
  refs: remove `delete_refs` callback from backends
  refs: deduplicate code to delete references
  refs/files: use transactions to delete references
  t5510: ensure that the packed-refs file needs locking


Trivial merge