Hello Guix, I think we can start preparing the release for good now!
The situation of ‘guix pull’ is mitigated by the split of python.scm and other big files into several pieces. This is of course not ideal, but it’s an improvement over 0.13.0 anyway. I think the main tasks to prepare the release are (1) testing the GuixSD ISO, and (2) updating ‘NEWS’. Let’s get that done! Ludo’.