cd8a8da7de
Closes #1088 We can't be sure whether a github runner will have new- or old- style sources.list, so check whether the new exists, else use the old style. Signed-off-by: Serge Hallyn <serge@hallyn.com>
cd8a8da7de