That's really nice to hear. I'm glad things worked out for your org.

GitHub marketing folks probably should reach out to you :)