Never mind, it was a networking error and `guix pull` worked fine on a
rerun.