Interesting. I haven't seen any requests for enhancements to Firefox (or more precisely Gecko) from GitHub, and I watch all incoming Gecko bug reports... Were

Interesting. I haven't seen any requests for enhancements to Firefox (or more precisely Gecko) from GitHub, and I watch all incoming Gecko bug reports... Were they asking for these enhancements from Firefox itself, not Gecko, or through some sort of opaque channels or something? Past that, partnering with people makes sense to me if they're flexible enough to add things when we need them. My point is simply that historically GitHub has not been adding the things we need.