GitHub CEO: What I learned from our harassment scandal