https://bugzilla.wikimedia.org/show_bug.cgi?id=58548
--- Comment #2 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 101998 merged by jenkins-bot: (bug 58548) use proxy also for https connections
https://gerrit.wikimedia.org/r/101998