The most passive-aggressive comment I have successfully pulled off at work 😛

I have seen a lot of questions here about surviving intense tech culture without getting PIPed. I initially thought I could just keep my head down, but then I decided against it. Context is: I work in an org where most around me are making a lot of money, and typically everyone's a senior dev by 26/27. That's what I have seen. Last Friday during a brutal code review, one of these ultra competitive peers blocked my diff over a frivolous style issue. These folks work 12+ hours a day consistently for 5 days a week. They will debate anything, no matter how frivolous it is. Pure TYPE A folks. They obsess over leadership principles. Instead of arguing, I dropped a comment saying I appreciate how they dive deep into formatting instead of system architecture, but maybe we should bias for action and merge. Even at the peak of oncall burnout, these fuckers will try to alpha you. They truly love going deep into a topic and coming out with the crux of it (or so they may think). Now I know one thing. These are very obvious things. Everybody knows if you push back like this, you probably would trigger their ego. But my takeaway is to do it. It's super difficult. But at my age, I have no option but to not try to play nice, now that I have seen how its done.