[03:55:01] <wikibugs>	 10HTTPS, 10VPS-project-Codesearch: Codesearch main page redirect uses http instead of https - https://phabricator.wikimedia.org/T290819 (10Krinkle) 05Open→03Resolved a:03Krinkle This is resolved as part of   >>! In T263354#8301801, @gerritbot wrote: > Change 804785 **merged** by jenkins-bot: > %%%[labs/c...