Bug#858406:

To: 858406@bugs.debian.org
Subject: Bug#858406:
From: Nicholas Brown <nickbroon@gmail.com>
Date: Thu, 24 Jul 2025 11:39:58 +0100
Message-id: <[🔎] CA++smEL69BzAjiZb6mAaExyO6VdMPDf_-9iK-P0OgAwYqZ-RrA@mail.gmail.com>
Reply-to: Nicholas Brown <nickbroon@gmail.com>, 858406@bugs.debian.org
References: <87efxq834g.fsf@alice.fifthhorseman.net>

The proposal to define a `pinmark: ` in an apt sources file may have some overlap with the proposal to define a `pin-priority: ` directly in an apt sources files in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839403

Reply to: