Turn pressure cooker to saute/sear and add olive oil. When the oil shimmers, add the onions and saute until soft.
Add green chilies and spices and saute just 30-60 seconds.
Add broth, water, beans, and beef shanks.
Place lid on the pot and seal. Set to 50-60 minutes on high pressure.
When time is up, allow to natural pressure release at least 20 minutes.
Release remaining pressure, fish out the bones & bay leaves, and if you are adding BBQ sauce to the pot, do that now. Residual heat will warm the sauce.