Hideki Yamane writes ("propose: provide "docker" package as docker, not wmdocker"): > I'd like to propose wmdocker package would rename its source > package from docker to wmdocker, and then docker.io package > provides docker binary package and transitional docker.io package.
Do we have a wiki page which gives a procedure for renaming a source package ? Source package renames are rather disruptive because we key a lot of stuff off the source package name. At least bugs need to be reorganised, and possibly other things. To reuse a source package name and then upload the new package with dgit, it's necessary to ask a dgit repo admin to do special by hand adjustments. etc. This all seems like it could do with a checklist that we can at least add things to each time we discover a brokenness we should have avoided... 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.