chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64ea4ca) | patch
buildserver: support HTTPS Debian mirrors
authorHans-Christoph Steiner <hans@eds.org>
Thu, 16 Mar 2017 13:48:08 +0000 (14:48 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 16 Mar 2017 14:06:35 +0000 (15:06 +0100)
commit580a9eb058e48751c5bbb3672e454d9340ae9657
treecbc365592b9613c72f3464d82dfcbd7b77da1ee9tree | snapshot
parent64ea4caac1a5863ed85b51f669121d6a2b08b0f6commit | diff
buildserver: support HTTPS Debian mirrors

The ever troublesome gpjenkins box needs to use HTTPS mirrors.  Plus it
improves the security of the buildserver, since there have been CVEs that
HTTPS would protect against:
https://www.debian.org/security/2016/dsa-3733
buildserver/provision-apt-get-install diff | blob | history
jenkins-build-makebuildserver diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.