Tobias Geerinckx-Rice 5d10644371
git: Make better use of the better progress bar.
Commit 189525412e3d803f3f77e15ec4a62aaa57f65a2d introduced
‘high-resolution’ Unicode progress bars, but these require more granular
calls to reach their full potential.

* guix/git.scm (show-progress): Derive the number of PROGRESS-BAR
updates from its maximum resolution, rather than hard-coding 100.
2023-02-19 01:00:06 +01:00
..
2022-08-09 15:58:14 +02:00
2022-11-11 23:17:42 +01:00
2022-03-18 16:03:33 +01:00
2022-06-10 23:52:34 -04:00
2022-12-02 23:20:54 +01:00
2022-07-10 23:57:14 +02:00
2022-09-24 17:59:04 +02:00
2023-02-19 10:09:15 +01:00
2022-02-14 11:23:07 +01:00
2023-01-03 12:25:48 +01:00
2023-02-11 00:09:40 +01:00