Correct, the company in question is Ordered List and you can read about the acquisition here: https://github.com/blog/993-ordered-list-is-a-githubber https://gi

Correct, the company in question is Ordered List and you can read about the acquisition here: https://github.com/blog/993-ordered-list-is-a-githubber https://github.com/blog/993-ordered-list-is-a-githubber