I have moved my web site from http to https, http is fully redirected to https and they are identical in content. I have added both properties to Google Search Console, when I ask Google for crawl do I do it for https or for http or for both?