Subject: Re: [bug#74892] [PATCH 7/9] gnu: rust-git2: Switch to‘git-minimal/pinned’.

From: Ludovic Courtès <[email-masked]>
Date: Tue, 17 Dec 2024 15:38:59 +0100

Efraim Flashner <[email-masked]> skribis:

> This can go straight to master.

Thanks.  I was considering pushing the whole thing to ‘master’, though
it involves ~3k rebuilds; the other option is to create a temporary
branch and jobset.  Thoughts?

Ludo’.