On Mon, Feb 05, 2018 at 04:52:15PM +0100, 30359@debbugs.gnu.org wrote:
> I think we prefer not to change source URIs to HTTPS, though.

I wasn't aware of a preference against HTTPS for source URIs. Can you
elaborate?