it may be a temporary caching issue (checking here at 9 AM, past midnight there PST, so it has just switched), but so you know in the case it’s a bug: The actual sales show the old XMASJULY2022 code both on the sales page and the sales details, and the expiration date is still Jul 20 in the details. The email states code JULBLKFRIDAY and expiration Jul 22. Didn’t check the cart what code works.
Nevermind. It has correctly updated 2 hrs later. Sorry for the hassles - I’ll wait a few hrs longer next time.