Julian Prein c83c793a1a
git: Disable fetch.pruneTags ...
This leads to problems in repositories with multiple remotes that do not
share the same tags. A fetch --all will then fetch and delete a tag at
the same time. Tags are also way less often deleted in my experience so
that an automatic pruning is not necessary.
2023-07-09 00:03:44 +02:00
2021-01-07 09:58:36 +01:00
2020-12-28 03:09:02 +01:00
2022-06-23 23:59:00 +02:00
2023-01-24 02:57:31 +01:00
2023-07-09 00:03:44 +02:00
2022-06-23 23:58:54 +02:00
2023-04-20 00:15:33 +02:00
2022-07-12 21:00:11 +02:00
2022-07-12 21:00:04 +02:00
2023-04-19 23:44:01 +02:00
2022-07-12 21:00:11 +02:00
2022-06-23 23:59:01 +02:00
2023-06-23 17:43:58 +02:00
2022-11-20 16:51:26 +01:00
2023-06-27 18:20:38 +02:00
2023-07-08 02:08:30 +02:00
2021-02-19 23:40:07 +01:00
2020-11-05 12:37:19 +01:00
2022-06-23 23:58:54 +02:00
2022-06-23 23:59:01 +02:00
2023-06-27 18:25:41 +02:00
2023-07-07 11:53:16 +02:00
2020-10-31 22:33:52 +01:00
2021-10-05 12:01:46 +02:00
2020-10-31 22:33:26 +01:00
2022-01-21 16:37:05 +01:00
Julian Prein
c83c793a1a
