Well, I think in many cases the intent by the speaker is to be gender-neutral, including in the cases OP shows. It can be ambiguous and off-putting to others though, and in other areas people usually accommodate (e.g. female chair members are "chairwoman", not "chairman").

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.