[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70020] [PATCH v3 1/1] gnu: Add debian-devscripts.
|
From: |
Simon Tournier |
|
Subject: |
[bug#70020] [PATCH v3 1/1] gnu: Add debian-devscripts. |
|
Date: |
Wed, 22 May 2024 15:44:04 +0200 |
Hi,
Nice addition!
On sam., 04 mai 2024 at 00:06, Vagrant Cascadian <vagrant@debian.org> 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