Bug#999826: debian-policy: fix Build-Depends footnote

2021-11-20 Thread Johannes Schauer Marin Rodrigues
Hi Sean, Quoting Sean Whitton (2021-11-19 23:13:46) > Can you turn this into a patch against our git repo, please? maybe I'm looking at the wrong git repo but I didn't find out how to file a merge request. Thus attaching the git format-patch. Thanks! cheers, josch>From

Bug#999826: debian-policy: fix Build-Depends footnote

2021-11-20 Thread Bill Allombert
On Sat, Nov 20, 2021 at 01:24:28PM +, Holger Levsen wrote: > On Wed, Nov 17, 2021 at 03:11:55PM +0100, Johannes Schauer Marin Rodrigues > wrote: > > > This footnote might not be the best place to document the precise > > > behaviour > > > of autobuilders (which currently is outside the scope

Bug#999826: debian-policy: fix Build-Depends footnoteo

2021-11-20 Thread Holger Levsen
On Wed, Nov 17, 2021 at 03:11:55PM +0100, Johannes Schauer Marin Rodrigues wrote: > > This footnote might not be the best place to document the precise behaviour > > of autobuilders (which currently is outside the scope of policy). On the > > other hand, having a fully specified build process