Are these numbers publicly available?

I think that the number of people in Google contributing to Chromium is much smaller, than the number of people in MS working on Edge.

Many Chromium contributors are enthusiasts, who don't get paid for it. They would not mind working on Microsoft's fork instead of Google's fork.