target-alpha: use HTTPS git URL for palcode