It does bring up an interesting subject: what is a good colloquial or informal way of specifying a plural of an individual unit for these sorts of things without resulting to annoying chaining of multiple words like "guys/girls" or "men/women"? DevOps "guys" is out. DevOps "people" doesn't use individual units. DevOps "monkeys" or "ninjas" are kind of gender neutral but sound very...stupid. DevOps-ers sounds awkward. I guess you could go with something like "gurus" but not every hire is going to be a guru.
I suppose the safest option is "DevOps engineers", but that adds some additional formality and isn't so colloquial or simple.
"Folks" is probably the closest thing you'll get though.
Think of it this way. When you call a male-identifying person "guy" it affirms their gender. When you call a non-male-identifying person "guy" it passively denies theirs. "Guy" is not gender nonspecific, and when you use it that way, it has the potential to make a non-male person feel like their gender identity is being assimilated into your idea of a "guy", whatever that is.
Another thought to leave you with. "Guy" == male when the gender of the person it refers to has not been established. Suppose someone tells you "I saw this guy biking down the street the other day..." Do you ever imagine that they're talking about a woman?
In a professional setting, it's important to use language carefully. And in a situation like this where you have evidence that at least some people feel using "guy" and "guys" is a poor choice, and where there are plenty of equivalent alternatives ("folks" is my go-to), the only reason to use "guy" is to be a jerk.
Don't be a jerk.
You: > find any native English speaker to whom "guy" primarily denotes a woman.
It's not supposed to primarily denote a woman, GP specifically said it's non-specific.
That said, I disagree. I think guy is gender specific, typically. I also have very, very seldom heard a woman called "dude." Certainly the non-specificity isn't universal.
As an aside: what is a devops guy/girl/individual anyway? Isn't the core of devops (as opposed to system administration/system development) a holistic approach where everyone has a responsibility for implementing the system as a whole, including both development and day-to-day operations? Hence:DevOps?
Stop with you condescending bs
I'm a dude, he's a dude, she's a dude, we're all dudes, hey.
There isn't a good mixed company informal term.