The Gnome developers bounce around between companies fairly frequently, and plenty of the Linux-as-primary-platform participants in that thread do not work for Red Hat. I have strong doubts that anyone cares more about Red Hat than they do about making Gnome better.