Comment 0 for bug 1512347

hi,
it looks like configure_apt from library.sh will add the contents of apt-setup/local0/repository verbatim to the sources file. This works only if the repository is prefixed with "deb ", which for apt-setup is optional. Not using a repository prefixed with "deb" will result in an invalid sources.list file. See also https://phabricator.wikimedia.org/T94177 and https://gerrit.wikimedia.org/r/250380