Onion Onion Mashed Potatoes

First time making mash potatoes in my instant pot. Used garlic garlic & onion onion and oh my goodness. My 9 year old loved them. My husband said the best potatoes he has ever had!