Actions
Review #560
closedUse deb.debian.org in sources.list
Start date:
2017-06-19
Branch:
use_deb.debian.org
Description
Branch use_deb.debian.org
allows to use deb.debian.org
in sources.list.
Actions
Added by Pierre-Louis Bonicoli about 8 years ago. Updated about 8 years ago.
Description
Branch use_deb.debian.org
allows to use deb.debian.org
in sources.list.
I think we already agreed on this, this is simple, there's not much code path to test, so for such a trivial change you can just push directly.
We are lagging a lot for reviews in OSAS while it's our full-time job, so I think it may be more realistic to reserve PRs for larger changes and things to discuss.
Anyway, this is fine and merged.