chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8463d12) | patch
dgit-repos-policy-debian: Remirror a package when it becomes public
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Jan 2017 00:02:27 +0000 (00:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Jan 2017 00:31:20 +0000 (00:31 +0000)
commit39988196301013320ba7c93cbd9146c27bd51453
treee1d536ab1deb4eb0b874324ddf8f7d4e2635b2e7tree | snapshot
parent8463d12b7a99e449198b06341a96fb3504074040commit | diff
dgit-repos-policy-debian: Remirror a package when it becomes public

Ie, make the repo available much more promptly when the package passes
NEW.

Closes:#849789.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
infra/dgit-repos-policy-debian diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.