On 2025-12-06 13:24, Johannes Schauer Marin Rodrigues wrote:
> I probably should've done the upload to NEW with dgit instead of using dput to

I do most of my uploads with "git debpush" now, but never thought, that
about that specific advantage ;-)

Reply via email to