I checked on browse.dgit.d.o and the tags *had* been pushed and the main branch looked up to date. I found that there was a ../bpd/dgit_12.10_source.changes so I dput it.
I also did a dgit-test-dummy upload which worked. I think maybe there is a server-side race :-/. Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> 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.
