Dr. Bas Wijnen <wij...@debian.org> wrote: > On Fri, Dec 29, 2017 at 10:43:58PM +0100, Alexander Wirt wrote: >> On Fri, 29 Dec 2017, Philipp Kern wrote: >> > Put a mapping into a git repository that DDs can push to? Make sure that >> > it is fast-forwarded always? Then let people deal with it? >> I am currently working on such a mapping.
> I appreciate your work, but this doesn't seem all that useful to me. If DDs > can push the mapping, can't they just as well upload a new package with the > fields in the control file updated? Compare: a) uploading and building 400 packages. b) checkout git repository copy list of old git repositories from tracker, search/replace commit and push Thanmks Alexander! cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'