Philip Hands writes ("Bug#1111331: pre-tag hook as an alternative?"):
> Might it be better to have an option for a pre-tag hook?
Thanks for sharing your perspective and possible use case. I find
this interesting.
The idea of a pre-push hook seems a reasonable one - even though it
probably wouldn't meet everyone's use case for this ticket, it might
be useful for other things too.
These ideas are all at an early stage and this kind of input is very
helpful. It will help us know what shape of thing(s) we want to try
to make. We might well do more than one thing.
Otto Kekäläinen writes ("Bug#1111331: git-debpush: check if CI passed before
tagging"):
> So you would like [...]
On the other hand, I found this response discouraging and
dogmatic-sounding.
It's true that some ways of implementing Phil's suggestion might have
some downsides, but this whole area is full of tradeoffs. Many of the
observations you make are fairly obvious and didn't need to be stated.
Non-obvious downsides can be stated in a more neutral way.
Otto, please reconsider your comunication style. [1]
Ian.
[1] Note that this is a formal moderation intervention from one of the
src:dgit maintainers. We are responsible for curating the community
around our software, and take that responsibility seriously.
This message is not an invitation to a meta-debate. If you don't
understand what I've said above, or disagree with it, please mail
[email protected]. If necessary Sean can provide a second opinion.
Your best escalation route beyond that is to the Community Team.
--
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.