Pressure cook the garbanzo beans with a cup of water, tea bag, cloves, cardamom and bay leaf and cinnamon for about 2 whistles or till the beans are very soft and easily mash-able.
Discard the tea bag, cloves, cardamom and bay leaf. Mash some of the beans.
In a large pan, heat the oil at medium heat and add hing(asafetida), chopped onions and Serrano chili pepper.
Cook on medium heat for 8-10 minutes or until the onion starts to get soft and golden .
Add in the spices( cumin , coriander, turmeric) , ginger and garlic and cook for another 3-4 minutes.
Add in the tomatoes and salt and cook for 5 minutes.
Add in the cooked garbanzo beans and mix well. Check for salt and spice. Add more salt or red chili powder if needed.
Cook on medium low heat, covered for 10-15 minutes or until the gravy thickens to a consistency you like.
Serve hot and Garnish with chopped onions, cilantro and lime juice !