When people think about industries that have successfully championed gender diversity, the tech sector has to hang its head in shame.
