Sean Whitton writes ("Bug#1111331: git-debpush: check if CI passed before 
tagging"):
> So far we are reusing debian/source/options for 1.0 and are planning to
> use some of debian/gbp.conf.  But having our own file would be okay.
> (And dpkg is newly complaining about our new of d/s/options, so, we
> might want to move that.)

I do think we want our own file.  (The things we put in d/s/options
ought to be there still I think.)

> How about debian/git-debpush.ini ?

Can I galk you into TOML ?

Ian.

-- 
Ian Jackson <[email protected]>   These opinions are my own.  

Pronouns: they/he.  If I emailed you from @fyvzl.net or @evade.org.uk,
that is a private address which bypasses my fierce spamfilter.

Reply via email to