Junio C Hamano bfce3e7b92 Merge branch 'ps/repack-with-server-info'
"git repack" learned a new configuration to disable triggering of
age-old "update-server-info" command, which is rarely useful these
days.

* ps/repack-with-server-info:
  repack: add config to skip updating server info
  repack: refactor to avoid double-negation of update-server-info
2022-03-23 14:09:30 -07:00
..
2022-03-21 15:14:24 -07:00
2020-08-04 18:34:02 -07:00
2021-09-28 10:31:02 -07:00
2022-03-09 10:25:27 -08:00
2022-02-02 14:50:09 -08:00
2021-09-28 10:31:02 -07:00
2021-12-10 14:35:03 -08:00
2021-12-10 14:35:04 -08:00
2022-01-07 15:19:34 -08:00