Pico de gallo de mango

Ingredientes

2 tazas de tomates de cereza, cortados en mitades o cuartos
1 taza de mango picado, semi madura o madura
1⁄4 taza picada de cebolla roja
1⁄4 taza picada pimienta de campana roja
1⁄4 taza de hojas de cilantro, picadas
1⁄2 a 1 jalapeño, acolchado y picado bien
Jugo de 2 limas
1 cucharadita de sal (más al gusto si se desea)