Subject: Re: [bug#70020] [PATCH v3 1/1] gnu: Add debian-devscripts.

From: Simon Tournier <[email-masked]>
Date: Wed, 22 May 2024 15:44:04 +0200

Hi,

Nice addition!

On sam., 04 mai 2024 at 00:06, Vagrant Cascadian <[email-masked]> wrote:

>   ./pre-inst-env guix shell debian-devscripts -- bts --bts-server=debbugs.gnu.org show 70020

Is it possible to patch ’bts’ to have debbugs.gnu.org as the default
server?

Cheers,
simon