Number of contributors to gnome-shell code (ie, the js and src directories) 40

Number of contributors to gnome-shell code who work for Red Hat 8