GitHub CEO: Why Now Is the Best Time to Be a Developer [video]