diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-12-19 01:10:11 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-12-19 01:10:11 +0300 |
commit | 71c746632aeeae0c4f87fa27db410c459c5c1658 (patch) | |
tree | 377ad4a69824d97936ae89fbe7a885bb444c259c /Makefile | |
parent | f1c537705b1e87441cd372a8aa63f56948036da0 (diff) | |
parent | 29a186917b58bf67e14667a7a7641f5dddcc8589 (diff) |
Merge branch 'ps/ref-deletion-updates'
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
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions