Subject: bug#30785: Man pages truncated, repeated

From: Ludovic Courtès <[email-masked]>
Date: Thu, 17 Jan 2019 09:33:18 +0100

Hello,

Pierre Neidhardt <[email-masked]> skribis:

> Danny, Efraim just reverted your commit because it rebuilds 3600+ packages :p

BTW, we must pay a great deal of attention to issues like this one:
someone who pulled right after that commit must have been wondering
what’s going on.  That makes for a very bad user experience.

I wonder if we could come up with a pre-push hook that runs ‘guix
refresh -l’ or something.

Thoughts?

Ludo’.