except for the ~hour lunch where you can’t really go home anyway, and the ~hour commute, and the ~hour it takes to get ready and decompress after getting home
8 hour workday has always been ~11 hours commitment per day for me
My opinion hasn’t changed. The standard order of operations is as well defined as a notational convention can be. It’s not necessarily followed strictly in practice, but it’s easier to view such examples as normal deviation from the rules instead of an implicit disagreement about the rules themselves. For example, I know how to “properly” capitalize my sentences too, and I intentionally do it “wrong” all the time. To an outsider claiming my capitalization is incorrect, I don’t say “I am using a different standard,” I just say “Yes, I know, I don’t care.” This is simpler because it accepts the common knowledge of the “normal” rules and communicates a specific intent to deviate. The alternative is to try to invent a new set of ad hoc rules that justify my side, and explain why these rules are equally valid to the ones we both know and understand.
Fair point. I would say on a personal level that GitHub actions is quite nice to use, especially with the marketplace. But I’d be surprised if switching version controls also entailed a CI/CD change for Mozilla, so I can’t think of a good reason.
You’re quite the lunatic. I’m obviously not defending GitHub PRs, or saying Mozilla should or should not use them. I said “we are not open to PRs at this time” is not the same as “we will be open to PRs in the future.” The truth of that statement has absolutely nothing to do with whether or not Mozilla is, in fact, open to using PRs in the future. But there’s no point in telling you that, because you’re clearly unhinged. Have a good life.