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.