]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ps/ref-deletion-updates'
authorJunio C Hamano <redacted>
Mon, 18 Dec 2023 22:10:11 +0000 (14:10 -0800)
committerJunio C Hamano <redacted>
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
git clone https://git.99rst.org/PROJECT