Clint Robert's Baked Pumpkin Gnocchi

Ingredients

• null 1 Tbsp Anchor Butter
• null 2 ½ cups Anchor Cream
• 2 garlic cloves – peeled and crushed
• 700g gnocchi (store bought)
• 1 pumpkin
• 1 red onion
• 2 Tbsp olive oil
• 1 tsp thyme leaves
• 2 egg yolks
• ¾ cup shredded mozzarella
• ¼ cup grated parmesan