Transferring contacts

Just received my husbands degoogled phone from Shane, have it pretty much set up but none of the contacts transferred. From a pixel 3 xl now a pixel 7. Any suggestions?

What are you using for contacts?

I’ve helped a couple people move from iPhones to ghost phones. Export contacts on the other device, to .vcf format, copy the exported file to the ghost phone & import into the contacts app.

For Android to GOS, the process would be quite similar.