Subject: bug#44507: closed (Re: [PATCH 0/3] Create "dev.cpio" for Heads.)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 22 Nov 2020 10:08:02 +0000

Your bug report

#44507: [PATCH 0/3] Create "dev.cpio" for Heads.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
44507: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44507
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [PATCH 0/3] Create "dev.cpio" for Heads.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Sun, 22 Nov 2020 11:07:47 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed dev.cpio generator to guix master as these commits:

* b1dfc64552265d66e60d11c2a1b6f4da549cd495
* 8e7c98963f7e51b2ee9fd140f1aa59cf0f762a60
* d82f227291699e4bea655fbac23620576702667b

Subject: [PATCH 0/3] Create "dev.cpio" for Heads.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Cc: Danny Milosavljevic <[email-masked]>
Date: Sat, 7 Nov 2020 21:47:18 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

This patch series dynamically creates "dev.cpio" for Heads instead of
carrying it as a binary blob.

Danny Milosavljevic (3):
  linux-initrd: Handle 'block-special and 'char-special cpio headers as
    well.
  linux-initrd: Add special-file->cpio-header*
  gnu: Add heads-dev-cpio.

 gnu/packages/heads.scm | 34 ++++++++++++++++++++++++++++++++++
 guix/cpio.scm          | 33 ++++++++++++++++++++++++++++++---
 2 files changed, 64 insertions(+), 3 deletions(-)