John Cai
826ae79fca
pack-refs: teach --exclude option to exclude refs from being packed
...
At GitLab, we have a system that creates ephemeral internal refs that
don't live long before getting deleted. Having an option to exclude
certain refs from a packed-refs file allows these internal references to
be deleted much more efficiently.
Add an --exclude option to the pack-refs builtin, and use the ref
exclusions API to exclude certain refs from being packed into the final
packed-refs file
Signed-off-by: John Cai <johncai86@gmail.com >
Signed-off-by: Junio C Hamano <gitster@pobox.com >
2023-05-12 14:54:14 -07:00
..
2023-03-21 10:56:54 -07:00
2023-03-21 10:56:54 -07:00
2023-03-21 10:56:54 -07:00
2023-03-21 10:56:50 -07:00
2023-03-21 10:56:54 -07:00
2023-04-14 10:27:52 -07:00
2023-04-06 13:38:31 -07:00
2023-02-23 17:25:28 -08:00
2022-01-17 14:17:48 -08:00
2023-03-28 14:11:24 -07:00
2023-04-25 13:56:20 -07:00
2023-03-21 10:56:53 -07:00
2023-02-16 16:21:56 -08:00
2023-03-28 14:11:24 -07:00
2023-04-06 13:38:31 -07:00
2023-04-06 13:38:31 -07:00
2023-04-06 13:38:31 -07:00
2023-04-06 13:38:31 -07:00
2023-01-14 18:07:11 -08:00
2023-03-28 14:11:24 -07:00
2022-12-14 15:55:46 +09:00
2023-04-11 08:52:09 -07:00
2023-04-06 13:38:31 -07:00
2023-02-16 08:30:38 -08:00
2021-07-30 10:18:27 -07:00
2021-06-09 09:15:58 +09:00
2023-03-21 10:56:51 -07:00
2023-04-24 16:01:28 -07:00
2023-03-28 14:11:24 -07:00
2023-03-28 14:11:24 -07:00
2023-04-24 16:01:28 -07:00
2023-04-11 08:52:08 -07:00
2023-04-25 13:56:20 -07:00
2023-04-11 08:52:09 -07:00
2023-04-06 13:38:31 -07:00
2023-05-02 10:13:35 -07:00
2023-04-06 13:38:31 -07:00
2023-03-28 14:11:24 -07:00
2023-03-21 10:56:54 -07:00
2023-03-28 14:11:24 -07:00
2023-03-21 10:56:51 -07:00
2023-03-21 10:56:54 -07:00
2023-04-11 08:52:08 -07:00
2023-02-23 17:25:28 -08:00
2023-03-21 10:56:54 -07:00
2023-03-28 14:11:24 -07:00
2023-03-21 10:56:54 -07:00
2023-03-21 10:56:51 -07:00
2023-04-11 08:52:09 -07:00
2023-03-21 10:56:54 -07:00
2023-04-06 13:38:31 -07:00
2023-03-21 10:56:54 -07:00
2023-05-12 14:54:14 -07:00
2022-01-20 11:31:53 -08:00
2022-07-01 13:38:50 -07:00
2023-03-21 10:56:54 -07:00
2023-04-06 13:38:31 -07:00
2022-08-14 22:57:12 -07:00
2023-03-21 10:56:51 -07:00
2023-04-06 13:38:31 -07:00
2023-03-21 10:56:54 -07:00
2022-11-07 22:11:51 -05:00
2023-03-28 14:11:24 -07:00
2023-02-23 17:25:28 -08:00
2023-03-28 14:11:24 -07:00
2023-04-24 16:01:28 -07:00
2023-04-25 13:56:20 -07:00
2023-03-21 10:56:54 -07:00
2023-04-06 13:38:31 -07:00
2023-03-21 10:56:54 -07:00
2022-09-02 09:16:23 -07:00
2023-01-14 18:07:11 -08:00
2023-01-14 18:07:11 -08:00
2023-04-06 13:38:31 -07:00
2022-07-01 13:38:49 -07:00
2023-03-21 10:56:54 -07:00
2023-02-23 17:25:28 -08:00
2023-03-21 10:56:54 -07:00
2023-03-28 14:11:24 -07:00