Ask HN: What was the acquistion price for this bootstrapped business(pullpanda)?

I am curious what was the acquisition price for it, its not mentioned in the news links https://thenextweb.com/dd/2019/06/19/github-acquires-pull-panda-and-makes-its-code-review-tools-available-for-free/