e08eca3f8e
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