Holly Jolly Christmas is one of those non-Christian “Christmas” songs - more like a “Winterfest” or “Festivus” song...
"Deck the Halls" falls into that category. It's all about the pagan signs of the season, like Holly branches, yule logs, etc.