Stir in the garlic, ginger, green chili, and curry leaves, and cook for several