how are you hope all are doing well, i have one question regarding google webmaster tool.
i have one www.xyz.com. website with google webmaster set up.
Now i purchase SSL and redirected www.xyz.com to https://xyz.com.
Then did i need to set up new google webmaster URL or need to change
Preferred domain to xyz.com like below setup.