• In the bowl of a food processor, combine all ingredients except meat and onion.
• Process until pureed and all the garlic and ginger is finely minced.
• Cut sirloin into 2-inch chunks and place into a glass dish or plastic bag with the marinade. Coat all the pieces. Refrigerate covered or sealed for at least an hour and up to 4. (You can skip this part if you are in a hurry.)
• In the bowl of an instant pot, place all the meat and marinade, plus the chopped onion. Stir and close the lid.
• Lock the lid into place and press [Manual] and then use the [+] button to choose 40 minutes pressure cooking time.
• When time is up, let steam release for about 10 minutes and finish with a quick release.
• Remove meat pieces with a strainer spoon to a plate or large dish to rest.
• Take leftover juices and sauce and bring to a boil in a large saucepan on the stove. Once boiling, turn down the heat slightly but keep it simmering and moving.
• While sauce is cooking down, shred the meat with 2 forks. When all meat is shredded, and the sauce has started to thicken, add the shredded meat to the pan of sauce and combine.
• Turn heat down, remove from heat if the meat starts to burn on the bottom of the pan. If the liquid is still too thin and watery, continue to cook it down.
• When the sauce is thick enough to coat all meat, remove from heat. Ready to serve.
• If saving for later, store cooled meat in a covered dish with all the sauce in the refrigerator. Heat as needed.

I've made this recipe multiple times with chuck beef roast. It shreds easily and is flavorful but sometimes too marbled with fat. Sirloin worked the best for me in the Instant Pot.