Beginner cooking question

I’m making goulash. It says to brown the hamburger meat in a pan with diced onions and three gloves garlic before adding to crockpot

My question is, do I just add the three gloves of garlic whole to the pan with the raw meat to brown it, or do I mince it?? All it says on ingredients is 3 Clove garlic 🧄