Then take your roasted garlic cloves, or your raw garlic, depending on how strong you like the garlic flavour in your mash - about one clove per person is enough. Mince the garlic with a garlic mincer, or if you don’t have one, you can chop it very finely. You can also use a handheld grater if you like. Add the garlic to the mashed potatoes and mix thoroughly. Add salt and pepper to taste. Cover and keep warm until serving.