Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Attribute users/intro to JDH and rename to history. #9515
Just in case anyone is wondering for the trademarks:
git blame points to f0f28a3 as origin of the text.