I was saddened to learn of the death of Kris Nóva. She joined GitHub about a year ago, and was working on some interesting and necessary projects. I didn’t get the chance to work with her, but I learned a lot just following along. She made a big impact on the company and her coworkers. She will be missed.