Combine tomatoes, tomato sauce, water, basil, oregano, salt and pepper in pressure cooker pot. (iwasborntocook.com)
When Barbacoa beef is done cooking, remove meat from pressure cooker, shred (discard fat and bone), and return to pressure cooker pot until ready to use. (latortillafactory.com)
I don't have an instant pot but I will try to make it in my pressure cooker (recipesfromapantry.com)