[phpMyAdmin Git] [phpmyadmin/website] 701909: Use https URL for git