Hi,> Github deprecated the git:// links about a year ago, so let's move to> the https:// URLs instead.Good point!Reviewed-by: Petr Vorel <pvorel@suse.cz>Kind regards,Petr