As an overall clean-up effort to free space on our mirror volumes,
stop mirroring source packages for the various debian-docker-*
repositories. Note that this should be a no-op as those repositories
don't appear to provide source packages anyway.
Change-Id: I51c723782c7aa08dc29c839b8e46c2dd6d8c8d41
e08eca3f8e