A male developer often gets called as a Dev, then what would you call a female developer?

Devi.