Pork Pie

Ingredients

• 1 cup flour
• salt
• 2 ounces of butter, at room temperature
• 1 egg
• 1 tablespoon white wine vinegar
• cold water
• ¼ cup milk
• 1 tablespoon vegetable oil
• 1 onion, diced
• 1 pound pork mince
• ½ teaspoon cinnamon
• 1 teaspoon clove powder
• ¾ cup tomato sauce
• 3 potatoes, cubed
• 1 egg yolk, whisked