The female developer allegedly harassed out of GitHub is naming names | Hacker News Reader