1 teaspoon salt (if needed, taste before adding)

Authentic Pork Chile Verde