Tbh, while it's oficial, I do not think it's final.
There's still time for 82 games. If they get a deal done next week, I think they'll try to save it all.
It was obvious the games won't start until December anyway. You need a month for free agency, camps, etc.
So nothing really changed when they cancelled November officially.